Teoria dos Conjuntos - VIII

27 Outubro 2016, 10:00 • António José Teiga Zilhão

Conceito de par ordenado. O problema da representação da noção de ordem no interior da Teoria dos Conjuntos. Definição de par ordenado de Kuratowski. Teorema dos pares ordenados - enunciado e demonstração. Definições de par ordenado recíproco, par ordenado idêntico e terno ordenado. Produto cartesiano e quadrado cartesiano. Formas de representação gráfica do produto cartesiano e do quadrado cartesiano. Definição do conceito de relação no âmbito da Teoria dos Conjuntos como um subconjunto de um produto cartesiano.