Ahoj, potřebuju pomoct s tímto příkladem:
O následující rovnici rozhodněte, zda je pravdivá a zdůvodněte svoji odpověď.
f je zobrazení a A, B jsou množiny.
Myslím, že tvrzení platí, jelikož:
1/ Na levé straně odstraním tu část definičního oboru funkce, která zobrazuje do oboru hodnot B. Tím se mi zobrazí funkce pouze do oboru hodnot z A.
2/ Pravé straně je to vlastně rozdíl oborů funkčních hodnot A, B. Tím dostanu pouze obor hodnot z A.
Má otázka je, jestli nad tím přemýšlím správně + jakým způsobem to mám formálně zapsat.
Předem děkuji za pomoc.
Offline
↑ Andrejka3:
Už jsem to zkoušel pro A = {1, 2, 3, 4, 5}, B = {2, 4, 5} a funkce f(x) = x, f(x) = x^2.
Jelikož mi obojí vyšlo, tak tedy mám asi pravdu.
Nevím ale, jak to ověřit formálně.
Offline
↑ pb1809:
Asi není třeba vždy. Pokud zkoušíš dělat pořádně důkaz, zjistíš, že tam něco chybí, a že to nejde dokončit. Konkrétně tady chybí předpoklad prostoty.
Offline