Matematické Fórum

Ivana 547

Ahoj,
potřebovala bych pomoct. Na předmět teorie množin máme dokázat, že obor hodnot relace je množina tj. že ran (R) je podmnožina $\cup (\cup (R))$ . Máte někdo nápad? Mělo by se tam použít schéma axiomů vydělení. Na důkazy nějak nejsem :(

Brano · 13. 03. 2015 14:13 — Editoval Brano (13. 03. 2015 14:17)

Asi by bolo treba napisat definicie. Totizto tak standardne (alebo teda tak ako sme sa to ucili my) to je tak priamo definovane.

Relacia $R$ je podmnozina $X\times Y$ , kde $X$ je obor a $Y$ koobor. A potom obor hodnot je definovany priamo pomocou axiomy specifikacie (vydelenia) ako $\{y\in Y|\ \exists x\in X:(x,y)\in R\}$ .

Rumburak · 25. 03. 2015 08:49

↑ Ivana 547:, ↑ Brano:

Ahoj.

Patrně by se zde mělo předpokládat, že $Y$ je množina .

V případě, že by $Y$ byla vlastní třídou , pak relace $R = X\times Y$ by dokazovanou vlastnost neměla.

Nebo se pletu ?

Brano · 25. 03. 2015 09:35

↑ Rumburak:
mas pravdu, ja som ten predpoklad bral tak nejak automaticky.

Matematické Fórum

#1 12. 03. 2015 17:35 — Editoval Ivana 547 (12. 03. 2015 17:40)

Důkaz, že obor hodnot relace je množina

#2 13. 03. 2015 14:13 — Editoval Brano (13. 03. 2015 14:17)

Re: Důkaz, že obor hodnot relace je množina

#3 25. 03. 2015 08:49

Re: Důkaz, že obor hodnot relace je množina

#4 25. 03. 2015 09:35

Re: Důkaz, že obor hodnot relace je množina

Zápatí