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
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
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
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
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
^{\,}} 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
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
{\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
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
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
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
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
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
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
Conjunto não enumerável (category !Artigos que carecem de fontes desde dezembro de 2012)
noção de mais elementos para conjuntos infinitos é definida precisamente no contexto da cardinalidade dos conjuntos. Como o conjunto das partes de qualquer...
1 KB (168 words) - 01:26, 7 April 2019
{\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
dos números cardinais que Cantor iniciou. O argumento da diagonalização não foi a primeira prova da não-enumerabilidade dos números reais de Cantor; ele...
15 KB (1,719 words) - 11:39, 30 April 2024
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
Equiconsistência (section Força de consistência)
Portanto, ZF é equiconsistente com ZFC, como mostrado por Gödel. Propriedade de grande cardinal A. Kanamori, 2003. The Higher Infinite. Springer. ISBN 3-540-00384-3...
5 KB (678 words) - 13:45, 23 April 2013
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
Axioma da união (category !Artigos que carecem de fontes desde junho de 2021)
para se obter a união é preciso aplicar o axioma da substituição para a propriedade ϕ ( X ) = ( ∃ Y , X ∈ Y ∧ Y ∈ A ) {\displaystyle \phi (X)=(\exists Y...
2 KB (264 words) - 12:19, 5 June 2021
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