Re: Constructibility of X -> X^2 bijection

theronruiz@xxxxxxxxx writes:

Let X is an infinite set.
Is it possible to be constructed explicitly a bijection between X and
X^2 for X as parameter?

In other words: without any information about set X (except that it is
known that X is not finite) is it possible to exist explicitly
constructible bijection between X and {(x, y) | x, y in X}?

Without any information about X except that it is not finite, how could you
explicitly specify any non-constant function on X? You can't do it without
some way of distinguishing members of X from each other.
--
Robert Israel israel@xxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Department of Mathematics http://www.math.ubc.ca/~israel
University of British Columbia Vancouver, BC, Canada
.

Relevant Pages
Quantcast