FUNDAMENTOS DO CÁLCULO Aluno: Reinaldo Ançay Junior ¹ Orientadora: Ximena Mujica Serdio ² Departamento de Matemática ¹ [email protected] ² [email protected] Resumo Este trabalho versa sobre vários assuntos que fundamentam o estudo de resultados sobre funções reais. Iniciando com operações sobre conjuntos, relações binárias e seu uso para definir o conceito de função, o uso de funções para estudar a cardinalidade de conjuntos e, em particular, o uso de sequências para o estudo de conjuntos infinitos. Finalmente, no conjunto do reais, as consequências do axioma do supremo. 1. Operações sobre conjuntos π π΄ = π(π)/π β π΄ Sejam π΄ e π΅ dois conjuntos: 5.2 Conjuntos infinitos Um conjunto π΄ é infinito quando não é vazio e não existe uma função bijetiva π: π½π β π΄ com π½π β ββ . β’ Reunião: π΄ βͺ π΅ = π₯, π₯ β π΄ ππ’ π₯ β π΅ ; β’ Interseção: π΄ β© π΅ = π₯, π₯ β π΄ π π₯ β π΅ ; β’ Diferença: π΄ β π΅ = {π₯ β π΄ / π₯ β π΅}; 5.3 Conjuntos enumeráveis Dizemos que um dado conjunto π΄ é enumerável se π΄ é equivalente ao conjunto ββ, isto é, se existe uma função bijetora π: π΄ β ββ . 5.4 Conjuntos não enumeráveis Sejam π: π β π uma função, π΄ β π e π΅ β π conjuntos. A imagem direta assume as seguintes propriedades: Dizemos que π΄ é subconjunto de π΅, e escrevemos π΄ β π΅, se para cada π em π΄, π está em π΅; se π΄ β π΅ e π΄ β π΅ dizemos que π΄ é subconjunto próprio de π΅. 2. Relações binárias Sejam π΄ e π΅ dois conjuntos não vazios, uma relação binária π entre π΄ e π΅, é um subconjunto de π΄ × π΅. Por exemplo se π΄ = {π1 , π2 } e π΅ = {π1 , π2 }, algumas relações entre π΄ e π΅ são: β’ β’ β’ β’ β’ π π = π π βπ₯ β π; Se π΄ é não vazio, π(π΄) também o é; Se π΄ β π΅, então, π(π΄) β π(π΅); π π΄ βͺ π΅ = π(π΄) βͺ π(π΅); π π΄ β© π΅ β π(π΄) β© π(π΅). 3.4 Imagem inversa por uma função A imagem inversa de um conjunto π β π pela função π: π β π é definida por π β1 (π) = π₯ β π/π(π₯) β π π 1 = { π1 , π1 } β π΄ × π΅ π 2 = {(π1 , π2 ), (π2 , π1 )} β π΄ × π΅ π 3 = { π1 , π1 ,(π2 , π1 ), (π2 , π2 )} β π΄ × π΅ Se π΅ = π΄, dizemos que π é uma relação em π΄. 2.1 Propriedades das relações binárias v. Se π1 , π1 , (π1 , π2 ) β π β π΄ × π΅, então π1 = π2 . Diremos que π β π΄ × π΄ é uma relação de equivalência sobre um conjunto π΄ se satisfaz as propriedades transitiva, simétrica e reflexiva. Já uma relação de ordem sobre um conjunto π΄ é uma relação que satisfaz as propriedades transitiva, antissimétrica e pode ou não ser reflexiva. Dizemos que um conjunto π΄ é totalmente ordenado se existe uma relação de ordem π definida sobre π΄ e para cada π1 , π2 β π΄ têm-se π1 , π2 β π ou π2 , π1 β π . Dizemos que π β π΄ × π΅ é uma função se π satisfaz a propriedade v. 3. Funções No item 2.1 definimos função, mas a notação acima é pouco utilizada de modo que vamos redefini-la. Sejam π΄ e π΅ dois conjunto não vazios. Uma função π de π΄ em π΅ é uma regra que associa a cada elemento π β π΄ um único elemento π β π΅, denotado por π π = π. Algumas nomenclaturas são: β’ Domínio: o conjunto π΄ recebe o nome de domínio de π e é denotado por πβ΄π π ; β’ Contradomínio: o conjunto π΅ recebe o nome de contradomínio de π e é denotado por πβ΄πΉβ΄π(π); β’ Imagem: a imagem de π, denotada por π₯π(π), define-se como o conjunto π π΄ = {π β π΅ β βπ₯ β π΄ β π = π(π)} β’ Gráfico: o gráfico de π é definido por: π’ π = { π, π β π΄ × π΅ / π β π΄, π β π΅ β π = π(π)} Note que π’(π) β π΄ × π΅ corresponde à relação definida em 2.1. Uma notação usual para a dada função π é π: π΄ β π΅ πβ¦π 3.1 Funções injetivas, sobrejetivas e bijetivas Considere uma função π: π΄ β π΅. Dizemos que π é uma função injetiva se, para quaisquer π1 , π2 β π΄ , π π1 = π π2 β π1 = π2 . A função π é dita sobrejetiva se βπ π = π΅ = πβ΄πΉβ΄π(π). No caso de π ser, ao mesmo tempo, injetiva e sobrejetiva, diz-se que π é uma função bijetiva. 3.2 Imagem direta por uma função A imagem direta de um conjunto π΄ β π pela função π: π β π é definida por 6. Conjuntos limitados Sejam πΈ um conjunto ordenado e π΄ β πΈ com π΄ β π. Dizemos que π΄ é limitado superiormente se existe πΏ β πΈ tal que π β€ πΏ, βπ β π΄. πΏ é chamado cota (ou limitante) superior. De forma análoga, dizemos que π΄ é limitado inferiormente se existe π β πΈ tal que π β€ π, βπ β π΄. A π chamamos de cota inferior. Denomina-se π΄ como um conjunto limitado se π΄ possui limitantes superior e inferior. 6.1 Mínimo, máximo, ínfimo e supremo π 4 = { π1 , π1 , (π1 , π2 ), (π2 , π1 ), (π2 , π2 )} β π΄ × π΅ i. Reflexiva: (π, π) β π β π΄ × π΄, para cada π em π΄; ii. Simétrica: Se (π1 , π2 ) β π β π΄ × π΄, então (π2 , π1 ) β π ; iii. Antissimétrica: Se π1 , π2 β π β π΄ × π΄ e (π2 , π1 ) β π , então π1 = π2; iv. Transitiva: Se π1 , π2 , (π2 , π3 ) β π β π΄ × π΄ , então π1 , π3 β π ; Suponha que determinado conjunto π΄ assume a seguinte propriedade: todo π΄π subconjunto enumerável de π΄ é subconjunto próprio de π΄ (π΄π β π΄). Neste caso, diz-se que π΄ é um conjunto não enumerável. Note que, isto equivale a não existir função bijetiva de π΄ em π½π nem de π΄ em ββ. Sejam π: π β π uma função, U β π e V β π conjuntos. A imagem inversa assume as seguintes propriedades: β’ β’ β’ β’ β’ π β1 π = π; Se π β π, então, π β1 (π) β π β1 (π); π β1 π βͺ π = π β1 (π) βͺ π β1(π); π β1 (π β© π) = π β1 (π) β© π β1 (π); π β1 π β π = π β π β1 (π). 4. Os números reais Seja π β πΈ. Dizemos que π é um mínimo de π΄ se π é uma cota inferior de π΄ e π β π΄. Da mesma forma, dado um π β πΈ, diz-se que π é um máximo de π΄ se π for uma cota superior de π΄ e π β π΄. Denotam-se, respectivamente, o máximo e o mínimo de π΄ por πáπ₯ π΄ e πíπ π΄ . O máximo e o mínimo de determinado conjunto, quando existem, são únicos. Considere um elemento π β πΈ. π é dito ínfimo de π΄ (denotado por íππ π΄) se: β’ π é cota inferior de π΄; β’ Se π é cota inferior de π΄, então, π β€ π (π é a maior das cotas inferiores de π΄). De forma análoga, π β πΈ é dito supremo de π΄ (π π’π π΄) se: No conjunto dos números reais (denotado por β) estão definidas duas operações, adição (+) e multiplicação (β ) e uma relação de ordem (β€). β’ π é cota superior de π΄; β’ Se πΏ é cota superior de π΄, então, π β€ πΏ (πΏ é a menor das cotas superiores de π΄). 4.1 Propriedades da adição e multiplicação Assim como no caso do máximo e mínimo, o supremo e o ínfimo, quando existem, são únicos. Nos reais, adição e a multiplicação, respectivamente, seguem as propriedades abaixo. Dados π₯, π¦ e π§ β β: β’ Associatividade: π₯ + π¦ + π§ = π₯ + (π¦ + π§) e π₯. π¦ . π§ = π₯. π¦. π§ β’ Comutatividade: π₯ + π¦ = π¦ + π₯ e π₯. π¦ = π¦. π₯ β’ Distributiva: π₯. π¦ + π§ = π₯. π¦ + π₯. π§ β’ Existência de elemento neutro: π₯ + 0 = π₯ e π₯. 1 = π₯ β’ Existência de elemento oposto / inverso: π₯ + βπ₯ = 0 e π₯. π₯ β1 = 1, π₯ β 0 β’ Compatibilidade da ordem com as operações: π₯ β€π¦ β π₯+π§ β€π¦+π§ 7. O axioma do supremo Todo conjunto não vazio de β, limitado superiormente, possui supremo. π΄ββ π΄β π β βπ = π π’ππ΄ β β π΄ πππππ‘πππ π π’ππππππππππ‘π 7.1 Consequências do axioma do supremo β’ β não é limitado superiormente; β’ Propriedade de Arquimedes: se π₯ > 0 e π¦ são dois números reais quaisquer, então existe pelo menos um número natural π tal que π. π₯ > π¦; β’ Propriedade dos intervalos encaixantes: sejam πΌπ intervalos fechados e limitados tais que πΌ1 β πΌ2 β β― β πΌπ β β― , então β π₯ β€ π¦ e 0 β€ π§ β π₯. π§ β€ π¦. π§ πΌπ β π π=1 4.2 O corpo ordenado dos reais Admitiremos que a quádrupla (β, +,β , β€) é um corpo ordenado, isto é, satisfaz todas as propriedades descritas no item 4.1 e possui uma relação de ordem definida sobre si. 5. Sequências numéricas Uma sequência numérica é uma função π: ββ β π΄, onde ββ = β β {0} e π΄ é um conjunto numérico previamente definido. 5.1 Conjuntos finitos Um conjunto π΅ é finito se π΅ = π ou se existe uma função π: π½π β π΅ com π½π β ββ (sequência) bijetiva. Note que as funções bijetivas definem uma relação de equivalência no conjunto de todos os conjuntos. 8. Tópicos de estudo futuro Como este projeto ainda está em andamento, estudaremos ainda o uso de sequências para estudar a continuidade de funções reais e também estudaremos alguns teoremas, como o teorema do confronto e o teorema do valor médio. 9. Referências 1. DOMINGUES, Hygino Hugueros. Espaços Métricos e Introdução à Topologia. Atual Editora LTDA, 1982. 2. GUIDORIZZI, Hamilton Luiz. Um Curso de Cálculo Volume 1. LTC Editora, 2001.