|
Avtor |
Sporočilo |
|
Hargrimm |
Objavljeno: 27 Dec 2007 22:57 |
|
|
Pridružen/-a: 10.10. 2007, 17:51
Prispevkov: 59
|
Ker se mi trenutno ne da razmišljati bom vas gnjavil dokler cela stvar ne uspe: iščem injekcijo iz Z^2 v Z.
To je vse. |
|
|
Nazaj na vrh |
|
Quack |
Objavljeno: 27 Dec 2007 23:33 |
|
|
Administrator foruma
Pridružen/-a: 19.09. 2007, 15:16
Prispevkov: 193
Kraj: Ljubljana, Slovenija
|
Hargrimm je napisal/a: Ker se mi trenutno ne da razmišljati bom vas gnjavil dokler cela stvar ne uspe: iščem injekcijo iz Z^2 v Z. Nič lažjega. Jaz ti bom podal bijekcijo (eno od neskončno možnih bijekcij), čeprav surjektivnosti nisi posebej zahteval.
Najprej definirajmo bijekcijo N -> Z, ter bijekcijo Z -> N:Koda: NtoZ[n_Integer] /; (n >= 1) := If[OddQ[n], (n - 1)/2, -n/2]
ZtoN[n_Integer] := If[n >= 0, 2*n + 1, -2*n] Za vajo se sam prepričaj, da sta to res bijekciji.
Potem definirajmo bijekcijo N^2 -> N:Koda: N2toN[m_Integer, n_Integer] /; (n >= 1 && m >= 1) := (Max[m, n] - 1)^2 + If[m == Max[m, n], n, 2*Max[n, m] - m] Ponovi vajo
Končno bijekcija Z^2 -> Z je kompozitum zgornjih preslikav (Z^2 -> N^2 -> N -> Z):Koda: Z2toZ[m_Integer, n_Integer] := NtoZ[N2toN[ZtoN[m], ZtoN[n]]]
Notebook v Mathematici: Z2toZ.nb |
|
|
Nazaj na vrh |
|
Hargrimm |
Objavljeno: 28 Dec 2007 00:06 |
|
|
Pridružen/-a: 10.10. 2007, 17:51
Prispevkov: 59
|
Se zahvaljujem v svojem imenu in v imenu človeka ki to dejansko rabi . |
|
|
Nazaj na vrh |
|
Quack |
Objavljeno: 28 Dec 2007 00:18 |
|
|
Administrator foruma
Pridružen/-a: 19.09. 2007, 15:16
Prispevkov: 193
Kraj: Ljubljana, Slovenija
|
Pa srečno novo leto |
|
|
Nazaj na vrh |
|
|
Časovni pas GMT + 2 uri, srednjeevropski - poletni čas
|
Ne, ne moreš dodajati novih tem v tem forumu Ne, ne moreš odgovarjati na teme v tem forumu Ne, ne moreš urejati svojih prispevkov v tem forumu Ne, ne moreš brisati svojih prispevkov v tem forumu Ne ne moreš glasovati v anketi v tem forumu |
|
|