Sumários
T_25
11 Dezembro 2024, 13:30 • Mário Jorge Edmundo
Comparar a cardinalidade de uniões de famílias de conjuntos, limites inferior e superior da cardinalidade da união de uma família de conjuntos; comparar a cardinalidade de produtos cartesianos de famílias de conjuntos, limites superior da cardinalidade do produto cartesiano de uma família de conjuntos; cardinalidade de produtos cartesianos de conjuntos de funções e de conjuntos de funções de produtos cartesianos de conjuntos; teoremas de Konig.
T_24
6 Dezembro 2024, 12:00 • Mário Jorge Edmundo
Operações nos cardinais, propriedades; a ordem é compatível com as operações; as operações de cardinais nos cardinais finitos coincidem com as operações nos ordinais finitos; leis de absorção; a hipótese do contínuo e a hipótese generalizada do contínuo.
T_23
4 Dezembro 2024, 13:30 • Mário Jorge Edmundo
Cardinais, exemplos: cardinais finitos e omega; o sucessor de um ordinal infinito não é um cardinal, cardinais infinitos são ordinais limites; exemplos ordinais que não são cardinais; o hartogs de um conjunto é o menor cardinal que não injeta no conjunto, hartogs de um ordinal é o menor cardinal ao qual ele pertence; exemplos de cardinais (obtidos aplicado hartogs); a união de um conjunto da cardinais é o menor cardinal contendo esse conjunto; os omegas-alphas são todos os cardinais; o primeiro ordinal não numerável; os alephs; o cardinal de um conjunto.