1. Neka je [tex]S[/tex] skup svih funkcija [tex]\mathbb{Q}\to\mathbb Z[/tex] i neka je [tex]A\subseteq \mathbb Q[/tex]. Onda je [tex]\chi_A\in S[/tex], pri cemu je [tex]\chi_A[/tex] karakteristicna funkcija skupa [tex]A[/tex].
S obzirom da [tex]A[/tex] mozemo odabrati na [tex]\mathcal{P}(\mathbb Q)=2^{|\mathbb{Q}|}=2^{|\mathbb{N}|}=\mathfrak c[/tex] nacina, onda je [tex]\mathfrak{c}\leq |S|[/tex].
S druge strane, svih funkcija iz S nema vise nego svih relacija na [tex]\mathbb Q \times \mathbb Z[/tex] (sjeti se definicije funkcije i relacije). Prema tome, funkcija iz S ima najvise [tex]\mathcal{P}(\mathbb Q \times \mathbb Z)=2^{|\mathbb Q \times \mathbb Z|}=(2^{|\mathbb Q|})^{|\mathbb Z|}=\mathfrak{c}^{\aleph_0} = \mathfrak c[/tex].
Znaci, [tex]|S|\leq \mathfrak c[/tex] pa je [tex]|S|=\mathfrak c[/tex].
2. Znas li dokazati [tex]|\mathbb Q|=|\mathbb Z|=|\mathbb N|[/tex]?
1. Neka je [tex]S[/tex] skup svih funkcija [tex]\mathbb{Q}\to\mathbb Z[/tex] i neka je [tex]A\subseteq \mathbb Q[/tex]. Onda je [tex]\chi_A\in S[/tex], pri cemu je [tex]\chi_A[/tex] karakteristicna funkcija skupa [tex]A[/tex].
S obzirom da [tex]A[/tex] mozemo odabrati na [tex]\mathcal{P}(\mathbb Q)=2^{|\mathbb{Q}|}=2^{|\mathbb{N}|}=\mathfrak c[/tex] nacina, onda je [tex]\mathfrak{c}\leq |S|[/tex].
S druge strane, svih funkcija iz S nema vise nego svih relacija na [tex]\mathbb Q \times \mathbb Z[/tex] (sjeti se definicije funkcije i relacije). Prema tome, funkcija iz S ima najvise [tex]\mathcal{P}(\mathbb Q \times \mathbb Z)=2^{|\mathbb Q \times \mathbb Z|}=(2^{|\mathbb Q|})^{|\mathbb Z|}=\mathfrak{c}^{\aleph_0} = \mathfrak c[/tex].
Znaci, [tex]|S|\leq \mathfrak c[/tex] pa je [tex]|S|=\mathfrak c[/tex].
2. Znas li dokazati [tex]|\mathbb Q|=|\mathbb Z|=|\mathbb N|[/tex]?
_________________
The Dude Abides