1. Главная
  2. Библиотека
  3. Логика
  4. Докажите или опровергните следующие утверждения: (1) Ес...
Разбор задачи

Докажите или опровергните следующие утверждения: (1) Если и - инъекции, то - инъекция, (2) Если и - сюръекции, то - сюръекция, (3) Если и - биекции, то - биекция, (4) Если - инъекция, то - инъекция, (5) Если - сюръекция, то - сюръекция.

  • Предмет: Логика
  • Автор: Кэмп
  • #Теория доказательств
  • #Математическая логика
Докажите или опровергните следующие утверждения: (1) Если и - инъекции, то - инъекция, (2) Если и - сюръекции, то - сюръекция, (3) Если и - биекции, то - биекция, (4) Если - инъекция, то - инъекция, (5) Если - сюръекция, то - сюръекция.

Условие:

Докажите или опровергните следующие утверждения: (1) Если f:ABf: A \rightarrow B и g:BCg: B \rightarrow C - инъекции, то gfg \circ f - инъекция, (2) Если f:ABf: A \rightarrow B и g:BCg: B \rightarrow C - сюръекции, то gfg \circ f - сюръекция, (3) Если f:ABf: A \rightarrow B и g:BCg: B \rightarrow C - биекции, то gfg \circ f - биекция, (4) Если gfg \circ f - инъекция, то ff - инъекция, (5) Если gfg \circ f - сюръекция, то gg - сюръекция.

Решение:

Рассмотрим каждое утверждение по отдельности.

(1) Утверждение: Если f: A→B и g: B→C – инъекции, то g∘f – инъекция.

Доказательство:
Допустим a₁, a₂ ∈ A и (g∘f)(a₁) = (g∘f)(a₂), то есть g(f(a₁)) = g(f(a₂)). Так как функция g инъективна, получаем f(a₁)= f(a₂). А поскольку f – инъекция, из этого следует a₁ = a₂. Следовательно, g∘f является инъекцией.

Вывод: утверждение (1) верно.

(2) Утверждение: Если f: A→B и g: B→C – сюръекции, то g∘f – сюръекция.

Доказательство:
Пусть c ∈ C. Так как g — сюръекция, существует b ∈ B,...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое свойство композиции функций \( g \circ f \) гарантирует, что если \( g \circ f \) является инъекцией, то \( f \) также должна быть инъекцией?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Выбери предмет