Problema 14. Mostre que se
é transitivo, então
é transitivo.
Passo 1
O enunciado pede: mostrar que, se
é transitivo, então
é transitivo.
Para evitar ambiguidade vou adotar a interpretação natural para este exercício (que costuma ser a pretendida em teoria dos conjuntos): a hipótese "
é transitivo" significa que cada membro de
é um conjunto transitivo. Ou seja, estou assumindo
Também registro a definição do que devemos provar:
é transitivo significa
Informações relevantes dadas ou necessárias:
- A é um conjunto cujo elementos são conjuntos (cada
é um conjunto transitivo). - Definição de interseção de uma família de conjuntos:
Passo 2
Relembrando a definição de conjunto transitivo (aqui bem mastigada):
Um conjunto
é dito transitivo quando todo elemento de um elemento de
é já um elemento de
. Em formulção equivalente,
Outra forma útil: cada
satisfaz
.
Exemplo simples para fixar a ideia:
é transitivo (não há
para violar a condição). O conjunto
também é transitivo, porque seu único elemento é
e todos os elementos de
(nenhum) pertencem a
vacuamente.
Passo 3
Descrever o que significa
:
Por definição,
Ou seja, um elemento
pertence a
exatamente quando
pertence a todo membro de
.
Aviso prático (para quem for formalizar em ZF): quando
a condição
é vacuamente verdadeira e
seria a classe de todos os conjuntos; aqui normalmente supõe-se
ou trabalha-se apenas com famílias não vazias para que
seja mesmo um conjunto. No exercício típico assume-se
não vazia ou que a interseção faz sentido como conjunto.
Passo 4
Estratégia do prova (passo a passo do que vamos mostrar):
Queremos provar que
é transitivo. Logo pegamos um elemento arbitrário
e um elemento arbitrário
e mostramos que
. Para mostrar
devemos mostrar que, para qualquer
, vale
. Como a hipótese é que cada
é transitivo, podemos usar a transitividade de
junto com o fato
(porque
) para deduzir
. Como
foi arbitrário, teremos
em toda
, isto é
.
Passo 5
Prova formal seguindo a estratégia:
Seja
e seja
. Queremos mostrar
.
Tomemos um membro arbitrário
. Como
, pela definição de interseção temos
. Pela hipótese,
é transitivo; pela definição de transitividade de
, do fato
e
segue
. Como
foi escolhido arbitrariamente em
, concluímos que para todo
vale
. Portanto, pelo critério da interseção,
.
Assim mostramos: se
e
então
. Isso é exatamente a definição de que
é transitivo.
Passo 6
Pequeno comentário final e encorajamento: a prova é curta — a ideia é sempre essa: pegar um elemento comum a todos os membros da família, pegar um elemento desse elemento e usar a transitividade de cada membro para garantir que esse elemento “baixo” também está presente em todos os membros. Você já pode usar esse mesmo raciocínio para variações (por exemplo, interseção de qualquer família de conjuntos que sejam todos reflexivos de alguma propriedade herda essa propriedade quando ela é do tipo “se
e
então …”).