The Postal Owl

Ahoj, asi sis špatně vyložil příklad na vnoření. V pomocném příkladu máš tříprvkovou množinu $X$, takže zobrazení bude taky tříprvkové. V prvním příkladu máš ale nekonečnou množinu, a sice: $\{1,2\}\times \N = \{(1, 1), (1, 2), (1, 3), ... , (2, 1), (2, 2), ... \}$ Ta už je taky uspořádaná: $(1, 1) < (1, 2) < (1, 3) < ... < (2, 1) < (2, 2) < ...$ Úkolem je najít takové zobrazení, které **každému** prvku přiřadí číslo z $\mathbb{Q}$, a pro které bude platit druhá podmínka vnoření (myslím tím: $\forall x, x' \in X: x \leq x' \Leftrightarrow f(x) \preccurlyeq f(x')$) V druhém příkladu je to skoro stejné, jenom ta původní množina je kartézský součin $\N \times \N$ $\N \times \N = \{(1, 1), (1, 2), (1, 3), ... , (2, 1), (2, 2), ..., (3, 1), ... \}$

Points: / 5.00

Preview