1) Dimostra che esiste una biiezione \( f: [0,1] \to \mathbb{R} \), questa mappa può essere continua?
2) Dimostra che esiste una biiezione \( g: \mathbb{R}^2 \to \mathbb{R} \), questa mappa può essere continua?
Per 1) io ho fatto questo ma non so se va bene
Definiamo le seguenti mappe \( f_1 := \operatorname{id} : [0,1] \hookrightarrow \mathbb{R} \), e \( f_2 : \mathbb{R} \hookrightarrow [0,1] \), tale che \( f_2(x):= \frac{1}{2} \begin{pmatrix} \frac{2}{\pi} \arctan(x) + 1 \end{pmatrix} \) abbiamo chiaramente che \( f_1 \) e \( f_2 \) sono iniettive e dunque per il teorema di Schroder Bernstein abbiamo una biiezione \( f: [0,1] \to \mathbb{R} \). Inoltre non può essere continua in quanto se lo fosse avremmo per il Teorema di Weierstrass che \( f \) ammette un massimo e un minimo assoluti il che contraddice la biiettività della funzione.
Per il 2) pensavo sostanzialmente di utilizzare la stessa idea, consideriamo innanzi tutto una funzione \( h_1 : (0,1) \hookrightarrow (0,1) \times (0,1) \) in modo tale che \( \forall x \in (0,1) \hookrightarrow (0,x) \in (0,1)^2 \). La funzione \( h_1 \) è chiaramente iniettiva. Consideriamo ora \( h_2 : (0,1)^2 \hookrightarrow (0,1) \), e consideriamo \( (x,y) \in (0,1) \) abbiamo che \( x=0.x_1 x_2 x_3 \ldots \) e \( y= 0.y_1 y_2 y_3 \ldots \) per qualche \( (x_i)_{i \in I} \) e \( (y_j)_{j \in J } \), dove \( I, J \) sono insiemi di indici. \( h_2(x,y)= 0.x_1y_1x_2y_2 \ldots \). Anche \(h_2 \) è iniettiva Utilizzando Schroder Bernstein abbiamo che \( (0,1)^2 \cong (0,1) \), grazie ad una mappa \( h: (0,1) \to (0,1)^2 \) biiettiva.
Ora consideriamo la funzione \( \operatorname{id} : (0,1) \hookrightarrow [0,1] \) è chiaramente iniettiva e la funzione \( \phi_1 : [0,1] \hookrightarrow (0,1) \) dove \( x \to x/2 + 1/3 \), anche \( \phi_1 \) è iniettiva. Pertanto abbiamo che \( (0,1) \cong [0,1] \), grazie ad una mappa biiettiva \( \phi : [0,1] \to (0,1) \) e in modo analogo abbiamo che \( (0,1)^2 \cong [0,1]^2 \) grazie ad una mappa \( \varphi: (0,1)^2 \to [0,1]^2 \), ed in modo analogo al punto 1) abbiamo l'esistenza di una biiezione \( \psi : [0,1]^2 \to \mathbb{R}^2 \) Pertanto
\[ \mathbb{R} \cong_{f^{-1}} [0,1] \cong_{\phi} (0,1) \cong_{h} (0,1)^2 \cong_{\varphi} [0,1]^2 \cong_{\psi} \mathbb{R}^2 \]
Pertanto abbiamo che \( g:= f \circ \phi^{-1} \circ h^{-1} \circ \varphi^{-1} \circ \psi^{-1} \)
Pensate possa andar bene?
In ogni caso non so bene cosa pensare della continuità, dubito sia continua per il fatto che ho utilizzato \( f \) nella mia costruzione (del punto 1) ma questo non esclude che possa esistere una funzione continua e biietiva... il testo suggerisce di utilizzare il teorema dei valori intermedi ma non vedo come.