Análise real/Propriedades

Propriedades de conjuntos editar

Sejam  .

  •  .
    •  
  •  .
  •  .
    • Dado  . 1 Suponha que   que opõe-se da nossa hipótese.

teorema editar

  •  
    •  
    •  
    •  
    •  

Relações de Morgan editar

  •  
    •  
      •   (1)
    •   (2)
    • Por (1) e (2), temos que  
  •  
    •  
    •  

exemplos editar

  •  
    • Considere K, um conjunto qualquer e  . Suponha que  . Como A é a intersecção disjunta de dois conjuntos, logo  . Mas não existe um elemento que pertença a um conjunto e ao seu complementar ao mesmo tempo. Portanto  
  •  
    • Por contradição  . O que é um absurdo, pois estamos dizendo que um conjunto vazio tenha algum elemento.
    • Suponha um conjunto A qualquer e que  , isso implica que o conjunto vazio têm um elemento que o A não tenha. Mas o conjunto vazio não têm elementos. Portanto o conjunto vazio é subconjunto de qualquer conjunto, inclusive de si mesmo.
  •  
    • O conjunto das partes do conjunto  , é  . Portanto o conjunto vazio pertence ao conjunto das partes do conjunto vazio.
  •  
    • Tomemos as parte do conjunto  , que é  . Todo conjunto é subconjunto de si mesmo, assim:  

condições entre conjuntos editar

Considere  . Determine a relação entre as condições P, Q e R, onde

  •  
    •  
      •  . Isto é, todo elemento do conjunto U que possui a propriedade P e não possui a propriedade Q, possui a propriedade R.
      • Devemos aqui ter bem claro que   significa que temos um elemento do conjunto U que não pertence ao conjunto A, isto é, não possui a propriedade P.
  •  
    •  
      •  . Isto é, todo elemento do conjunto U que não possui a propriedade P ou não possui a propriedade Q, possui a propriedade R.
  •  
    •  
      •  . Isto é, todo elemento do conjunto U que não possui a propriedade P ou possui a propriedade Q, não possui a propriedade R.
  •  
    •  
      •  . Isto é, todo elemento do conjunto U que não possui a propriedade P, não possui a propriedade Q ou possui a propriedade R.
  •  
    •  
      •  . Isto é, todo elemento do conjunto U que possui a propriedade P, não possui a propriedade Q ou não possui a propriedade R.