conjuntos, uma propriedade de grande cardinal é um certo tipo de propriedade de números cardinais transfinitos. Falando intuitivamente, cardinais com tais propriedades...
4 KB (563 words) - 19:49, 19 December 2024
Teoria dos conjuntos (redirect from Teoria de conjuntos)
grande cardinal é um número cardinal transfinito cujo caráter de "muito grande" está dado por uma propriedade extra, denominada propriedade de grande...
29 KB (3,990 words) - 12:28, 15 May 2024
União (matemática) (category !Artigos que carecem de notas de rodapé desde junho de 2012)
{\displaystyle \cup } . Representando por |X| o cardinal de um conjunto X, e por ∩ {\displaystyle \cap } a interseção de conjuntos, tem-se | A ∪ B | + | A ∩ B |...
7 KB (1,159 words) - 00:57, 1 October 2022
Complementar (section Propriedades)
propriedades importantes da diferença de conjuntos, que podem ser demonstradas com poucos passos usando a própria definição de diferença de conjuntos...
13 KB (1,404 words) - 14:30, 29 October 2023
Cardinalidade (section Números cardinais)
injetoras, e outra que usa números cardinais. A cardinalidade de um conjunto A é usualmente denotada |A|, com uma barra vertical de cada lado; trata-se da mesma...
14 KB (1,937 words) - 12:47, 23 August 2023
^{\,}} De maneira análoga à propriedade dos cardinais limites, pode ser definida uma propriedade mais forte. Um cardinal κ {\displaystyle \kappa ^{\,}}...
23 KB (3,403 words) - 23:09, 5 September 2023
cada par de palavras de código possui uma grande distância de Hamming, ele pode ser usado como um código de correção de erros. Um código de bloco também...
6 KB (966 words) - 14:54, 12 May 2019
Produto cartesiano (category !Artigos que carecem de notas de rodapé desde junho de 2009)
b)=\{\{a\},\{a,b\}\}\in P(P(X\cup Y))} . O cardinal do produto cartesiano de dois conjuntos é o produto dos cardinais dos conjuntos individuais: | X × Y | =...
8 KB (1,233 words) - 11:04, 16 March 2024
limite forte. Essa propriedade é chamada as vezes de fortemente inacessível e é considerada uma propriedade de grande cardinal. Um cardinal κ {\displaystyle...
9 KB (865 words) - 20:49, 9 June 2024
Conjunto vazio (section Propriedades)
possui uma dada propriedade p {\displaystyle p} . Dizemos que tais propriedades são verdadeiras por vacuidade (isto é, por impossibilidade de mostrar-se o...
11 KB (1,496 words) - 21:03, 5 July 2023
Função bijectiva (category Tipos de funções)
teoria dos conjuntos, essa propriedade é usada para definir a cardinalidade de conjuntos: dois conjuntos têm o mesmo número de elementos se, e somente se...
5 KB (809 words) - 21:16, 5 July 2023
Subconjunto (redirect from Inclusão de conjuntos)
A,} então A = B . {\displaystyle A=B.} De fato, isto é o que diz o axioma da extensão. Pelas três propriedades acima, dado um conjunto não-vazio A {\displaystyle...
6 KB (904 words) - 18:09, 6 November 2023
Hipótese do continuum (redirect from Primeiro problema de Hilbert)
número cardinal). Esta hipótese foi o número um dos 23 Problemas de Hilbert apresentados na conferência do Congresso Internacional de Matemática de 1900...
5 KB (771 words) - 23:43, 13 August 2020
{\mathcal {P}}\!\left(\kappa \right)} . Cardinal mensurável é considerada uma propriedade de grande cardinal. DRAKE (1974), p. 177. DRAKE, Frank R (1974)...
1 KB (83 words) - 20:23, 27 March 2013
O Paradoxo de Russell é um paradoxo descoberto por Bertrand Russell em 1901 e que mostra que no sistema do livro de Frege Leis fundamentais da aritmética...
4 KB (506 words) - 19:33, 16 July 2022
Conjunto (category !Artigos que carecem de notas de rodapé desde maio de 2025)
finito com cardinalidade, ou número cardinal n {\textstyle n} . Mesmo se o conjunto não possui um número finito de elementos, pode-se definir a cardinalidade...
17 KB (2,192 words) - 17:10, 31 May 2025
Universo construível (redirect from Universo construível de Gödel)
construtível (ou Universo construtível de Gödel ou Hierarquia construtível), denotado por L, é uma classe de conjuntos definida por recursão transfinita...
3 KB (405 words) - 12:21, 29 December 2018
axiomas de grande cardinal é que eles permitem que muitos resultados da ZF+AD possam ser estabelecidos na ZFC unidos por um axioma de grande cardinal. O sistema...
23 KB (3,428 words) - 14:46, 17 May 2025
pode ser enumerável ou não. O conjunto de todos os números inteiros é um conjunto infinito enumerável. O conjunto de todos os números reais é um conjunto...
1 KB (124 words) - 11:50, 30 August 2021
de Kurepa Árvore de Suslin TODORČEVIĆ, S. (1984). «Trees and Linearly Ordered Sets». Elsevier: 235–293. ISBN 978-0-444-86580-9. Consultado em 18 de novembro...
1 KB (95 words) - 22:37, 18 November 2020
Número ordinal (category !Artigos que carecem de notas de rodapé desde abril de 2017)
finito são isomórficas de ordem. O menor ordinal infinito é o ω {\displaystyle \omega } , que é identificado com o número cardinal ℵ 0 {\displaystyle \aleph...
35 KB (5,396 words) - 17:14, 30 June 2025
{\displaystyle A} , induzida pela relação de equivalência R {\displaystyle R} , o conjunto formado por todas as classes de equivalência, obtidas em A {\displaystyle...
785 bytes (85 words) - 20:14, 10 September 2017
Conjunto universo (category !CS1 manut: Nomes múltiplos: lista de autores)
Conjunto Universo, também conhecido como Conjunto Verdade, é uma representação de todos os elementos possíveis em dado conjunto. Na teoria dos conjuntos e nos...
4 KB (387 words) - 01:53, 8 December 2024
Axioma da regularidade (category !Artigos que carecem de notas de rodapé desde agosto de 2021)
(diretamente, como X ∈ X {\displaystyle X\in X\,} , ou indiretamente, através de uma cadeia de outros conjuntos X ∈ X 1 ∈ X 2 … ∈ X {\displaystyle X\in X_{1}\in X_{2}\ldots...
1 KB (196 words) - 19:58, 30 December 2023
Forçamento (category !Artigos que carecem de notas de rodapé desde maio de 2011)
modelo da teoria dos conjuntos, ou de todo o ZFC, ou um modelo de um grande porém finito subconjunto dos axiomas de ZFC, ou alguma variante dele. Transitividade...
8 KB (1,098 words) - 15:03, 22 November 2023
Richard Dedekind (category Membros da Academia de Ciências de Göttingen)
zeta de Dedekind - uma função definida por uma série de Dirichlet Ideal (teoria dos anéis) - um subconjunto de um anel com determinadas propriedades Cortes...
14 KB (1,582 words) - 18:24, 6 October 2024
Axioma do infinito (category !Artigos que carecem de fontes desde setembro de 2013)
do Axioma do Infinito é aquele que garante a existência de um conjunto infinito. Exemplos de conjuntos infinitos: Conjunto dos números naturais;inteiros;racionais...
1 KB (172 words) - 00:03, 1 April 2023
\!} é qualquer propriedade que possa ser atribuída a elementos x de z, então existe um subconjunto y de z que contém os elementos x de z e que possuem...
3 KB (390 words) - 00:17, 1 November 2013
teoria de conjuntos, as noções primitivas de NBG são as de classes X e pertinência ∈. O conceito de classe deve ser pensado como uma "coleção de objetos"...
4 KB (581 words) - 01:10, 26 August 2021
Classe (teoria dos conjuntos) (redirect from Classe (teoria de conjunto))
\mathbb {A} } uma classe de subconjuntos de Ω {\displaystyle \Omega } . Se A {\displaystyle \mathbb {A} } satisfaz as propriedades P1. Ω ∈ A {\displaystyle...
977 bytes (143 words) - 18:06, 14 February 2023
Indução transfinita (category !Artigos que carecem de notas de rodapé desde abril de 2017)
permite provar propriedades para todos números ordinais (ou, de forma mais geral, para qualquer conjunto (ou classe) bem ordenado) a partir de etapas finitas...
4 KB (451 words) - 00:23, 9 June 2018