Ideal (teoria dos conjuntos) - Ideal (set theory)
No campo matemático da teoria dos conjuntos , um ideal é uma coleção parcialmente ordenada de conjuntos considerados "pequenos" ou "desprezíveis". Cada subconjunto de um elemento do ideal também deve estar no ideal (isso codifica a ideia de que um ideal é uma noção de pequenez), e a união de quaisquer dois elementos do ideal também deve estar no ideal.
Mais formalmente, dado um conjunto de um ideal em um nonempty subconjunto do powerset de tal forma que:
- se e então e
- se então
Alguns autores acrescentam uma quarta condição em que ela mesma não está ; ideais com essa propriedade extra são chamados de ideais adequados .
Ideais no sentido da teoria dos conjuntos são exatamente ideais no sentido da teoria da ordem , onde a ordem relevante é a inclusão do conjunto. Além disso, eles são exatamente ideais no sentido da teoria do anel no anel booleano formado pelo conjunto de poderes do conjunto subjacente.
Terminologia
Um elemento de um ideal é dito -null ou -negligible , ou simplesmente nulo ou insignificante se o ideal for entendido a partir do contexto. Se é um ideal em seguida, um subconjunto de se diz ser positiva para (ou apenas positivo ) se for não um elemento de A coleção de todos os subconjuntos serologia positiva de é denotada
Se é um ideal adequado para cada um ou então é um ideal principal .
Exemplos de ideais
Exemplos gerais
- Para qualquer conjunto e qualquer subconjunto escolhido arbitrariamente, os subconjuntos de forma um ideal em Para finito, todos os ideais são desta forma.
- Os subconjuntos finitos de qualquer conjunto formam um ideal em
- Para qualquer espaço de medida , conjuntos de medida zero.
- Para qualquer espaço de medida , conjuntos de medidas finitas. Isso abrange subconjuntos finitos (usando medida de contagem ) e pequenos conjuntos abaixo.
Ideais nos números naturais
- O ideal de todos os conjuntos finitos de números naturais é denotado por Fin.
- O ideal somatório nos números naturais, denotado é a coleção de todos os conjuntos de números naturais de forma que a soma seja finita. Veja o pequeno conjunto .
- O ideal de conjuntos assintoticamente de densidade zero sobre os números naturais, denotado é a coleção de todos os conjuntos de números naturais de forma que a fração dos números naturais menor do que esse tende para zero como tende para o infinito. (Ou seja, a densidade assintótica de é zero.)
Ideais nos números reais
- A medida ideal é a coleção de todos os conjuntos de números reais de forma que a medida de Lebesgue seja zero.
- O parco ideal é a coleção de todos os parcos conjuntos de números reais.
Ideais em outros sets
- Se for um número ordinal de cofinalidade incontável , o ideal não estacionário on é a coleção de todos os subconjuntos de conjuntos não estacionários . Esse ideal foi amplamente estudado por W. Hugh Woodin .
Operações em ideais
Dados ideais e em conjuntos subjacentes e respectivamente, forma-se o produto no produto cartesiano da seguinte forma: Para qualquer subconjunto
Um ideal em um conjunto induz uma
relação de equivalência no conjunto de poderes de considerar e ser equivalente (para subconjuntos de ) se e somente se a diferença simétrica de e for um elemento de O quociente de por esta relação de equivalência é uma álgebra booleana , denotada ( leia "P de mod ").A cada ideal existe um filtro correspondente , denominado filtro duplo . Se for um ideal em, então o filtro dual de é a coleção de todos os conjuntos onde está um elemento de (aqui denota o
complemento relativo de in ; ou seja, a coleção de todos os elementos de que não estão em ).Relações entre ideais
Se e são ideais em e respectivamente, e são
Rudin – Keisler isomórficos se eles são o mesmo ideal exceto para renomear os elementos de seus conjuntos subjacentes (ignorando conjuntos desprezíveis). Mais formalmente, o requisito é que haja conjuntos e elementos de e respectivamente, e uma bijeção tal que para qualquer subconjunto se e somente se a imagem de sobSe e são Rudin-Keisler isomórficos, então e são isomórficos como álgebras booleanas. Isomorfismos de álgebras booleanas quocientes induzidos por isomorfismos de Rudin – Keisler são chamados de
isomorfismos triviais .Veja também
- Filtro (matemática) - Em matemática, um subconjunto especial de um conjunto parcialmente ordenado
- π -system - Família não vazia de conjuntos onde a interseção de quaisquer dois membros é novamente um membro
- σ-ideal
Referências
- Farah, Ilijas (novembro de 2000). Quocientes analíticos: Teoria das elevações de quocientes sobre os ideais analíticos nos inteiros . Memórias da AMS. American Mathematical Society. ISBN 9780821821176.