Definições de conjunto finito
| Autor: | Sautter, Frank Thomas |
|---|---|
| Jazyk: | portugalština |
| Rok vydání: | 1995 |
| Předmět: | |
| Zdroj: | Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP. |
| Druh dokumentu: | masterThesis |
| Popis: | Orientador: Luiz Paulo de Alcantara Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Made available in DSpace on 2018-07-20T17:07:34Z (GMT). No. of bitstreams: 1 Sautter_FrankThomas_M.pdf: 1965384 bytes, checksum: de383de9d44d5f50a346a84f71ec3e04 (MD5) Previous issue date: 1995 Analisamos as definições de conjunto finito de Dedekind (1893), de Zermelo (1908) e de Alarcón Athens (1987). A partir destas definições, formulamos e demonstramos diversos princípios de indução matemática para conjuntos finitos. Obtivemos uma nova definição de conjunto finito: um conjunto C é finito 'Se e somente se o conjunto vazio pertence a toda família não-vazia F de subconjuntos de C tal que para todo conjunto não vazio D 'PERTENCE¿ F existe um único conjunto E 'PERTENCE¿ F onde E = D - {d} para algum d 'PERTENCE¿ D. Demonstramos que, na axiomática de Zermelo-Fraenkel sem o axioma da escolha, esta definição é formalmente equivalente ao axioma de Dedekind, segundo o qual todo conjunto infinito, no sentido aritmético usual, tem subconjunto enumerável We analize Dedekind's (1893), ZermeIo's (1908) and Alarcón Athens' (1987) definitions of finite sets. From these definitions we formulate and prove some mathematical induction principles for finite sets. We obtain a new definition of finite sets: a set C is finite if and only if the empty set beIongs to every non-empty famiIy F of subsets of C, such that for every non-empty set D 'PERTENCE¿ F there exists exactly one set E 'PERTENCE¿ F such that E = D - {d} for some d 'PERTENCE¿ D. We prove that, in ZermeIo-Fraenkel axiomatics without the choice axiom, this definition is formally equivalent to Dedekind's axiom, which says that every infinite set, in the ordinary sense, has an enumerabIe subset Mestrado Mestre em Filosofia |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|