Prova de (3)

Dados © Matemática Para Gregos & Troianos - Carlos César, é evidente que vale © Matemática Para Gregos & Troianos - Carlos César se e somente se for verdadeiro que

© Matemática Para Gregos & Troianos - Carlos César

Isto também pode ser deduzido da observação preliminar feita na demonstração de (2). Posto isto, observe o raciocínio seguinte:

Isto demonstra que a função característica de uma interseção é o produto das funções características dos "fatores".


© Carlos César de Araújo - Segunda-feira, 06 de Maio de 2002