:-k vjerojatno mislis na 5. zadatak.
[latex]\aleph[/latex] - [i]alef[/i]; prvo slovo hebrejskog alfabeta
[latex]\beth[/latex] - [i]bet[/i]; drugo slovo hebrejskog alfabeta
Uglavnom, uz slijedece oznake:
[latex]\mathbf{On}[/latex] - klasa ordinalnih brojeva
[latex]\mathbf{ICn}[/latex] - klasa beskonacnih kardinalnih brojeva
[latex]\kappa^+[/latex] - neposredni (kardinal) sljedbenik kardinala [latex]\kappa[/latex]
definira se funkcija [latex]\aleph \colon \mathbf{On} \to \mathbf{ICn}[/latex]:
[latex]\aleph_0 = \omega[/latex]
[latex]\aleph_{\alpha+1} = {\aleph_\alpha}^+ [/latex]
[latex]\aleph_\gamma = \sup \{\aleph_\beta \mid \beta < \gamma \}[/latex], ako je [latex]\gamma[/latex] granicni ordinal.
Definira se i funkcija [latex]\beth \colon \mathbf{On} \to \mathbf{ICn}[/latex]:
[latex]\beth_0 = \aleph_0[/latex]
[latex]\beth_{\alpha+1} = 2^{\aleph_\alpha}[/latex]
[latex]\beth_\gamma = \sup \{\beth_\beta \mid \beta < \gamma \} [/latex], ako je [latex]\gamma[/latex] granicni ordinal.
[size=5]DISCLAIMER: ovo se sve da napraviti bez spominjaja funkcija na klasama[/size]
Ove godine to nismo stigli obraditi na vjezbama, tako da mozes racunati da toga nece biti na kolokvijima i rokovima koje cu ja sastavljati.
vjerojatno mislis na 5. zadatak.
- alef; prvo slovo hebrejskog alfabeta
- bet; drugo slovo hebrejskog alfabeta
Uglavnom, uz slijedece oznake:
- klasa ordinalnih brojeva
- klasa beskonacnih kardinalnih brojeva
- neposredni (kardinal) sljedbenik kardinala
definira se funkcija
:
, ako je
granicni ordinal.
Definira se i funkcija
:
, ako je
granicni ordinal.
DISCLAIMER: ovo se sve da napraviti bez spominjaja funkcija na klasama
Ove godine to nismo stigli obraditi na vjezbama, tako da mozes racunati da toga nece biti na kolokvijima i rokovima koje cu ja sastavljati.
_________________
Extraordinary claims require extraordinary evidence. – Carl Sagan