👍 +1 👎 |
Представление доказательствaКорректно ли я, используя символы математической логики, доказала, что для любой функции f и для любых множеств A и B: f(A⋂B) = f(A) ⋂ f(B).
x Є f(A⋂B) ⇔ Ǝy Є (A⋂B) [x=f(y)] ⇔ Ǝy Є (A⋂B) [(x Є f(A)) & (x Є f(B))] ⇔ x Є (f(A) ⋂ f(B)) Или же кое где вместо символа Є следовало написать знак равенства? P.S. Доказательство, использующее простейшие логические операции – это так красиво! |
👍 0 👎 |
x Є f(A⋂B) ⇔ Ǝy Є (A⋂B) [x=f(y)] ⇔ Ǝy Є (A⋂B) [(y Є A) & (y Є B) & (x Є f(A)) & (x Є f(B))] ⇔ x Є (f(A) ⋂ f(B)).
С чего начать, чтобы доказать, что это утверждение ложно в общем случае? |
👍 +2 👎 |
Да, утверждение "для любой функции f и для любых множеств A и B: f(A⋂B) = f(A) ⋂ f(B)" неверно.
Достаточно привести контрпример. |
👍 0 👎 |
Юлия Сергеевна, здравствуйте!
Какой можно привести контрпример? Я думала то, что я написала внизу будет контрпримером, но оказалось, что нет: Пусть y ∉ f(A⋂B) ⇔ тогда f^(-1)[y] ∉ f^(-1)[ f(A⋂B)] ⇔ x ∉ (A⋂B) ⇔ x ∉ A или x ∉ B ⇔ f(x) ∉ f(A) или f(x) ∉ f(B) ⇔ y ∉ f(A) ⋂ f(B) |
👍 +1 👎 |
Добрый день!
Контрпример: А={1}, B={2}, f(1)=f(2)=0. |
👍 0 👎 |
Преобразователь кода
|
👍 0 👎 |
Отличие символа принадлежности к множеству от символа подмножества
|
👍 +1 👎 |
Связь множеств и композиции
|
👍 0 👎 |
Доказательство
|
👍 +1 👎 |
Разложить кольцо в прямую сумму неразложимых идеалов
|
👍 0 👎 |
Папа позвонил дочке, попросил её купить кое-что из вещей
|