Saltar para o conteúdo

Topologia/Imprimir

Origem: Wikilivros, livros abertos por um mundo aberto.


Topologia

Elemento, conjunto e a relação de pertinência

[editar | editar código-fonte]

Partes de um conjunto

[editar | editar código-fonte]

Dados dois conjuntos A e B, dizemos que A está contido em, é subconjunto de ou ainda é parte de B quando todo elemento de A é elemento de B ou, simbolicamente, x ∈ A ⇒ x ∈ B. Neste caso, escrevemos A ⊂ B. Esta relação entre os conjuntos A e B é chamada relação de inclusão. Se trabalhamos com conjuntos dentro de algum universo, esta passa a ser uma relação de ordem. Isto quer dizer que, para quaisquer conjuntos A, B e C dentro deste universo, valem as três propriedades a seguir:
Reflexiva:
Antissimétrica:
Transitiva:
Chamamos de conjunto das partes de A o conjunto cujos elementos são os subconjuntos de A. Ele nunca é vazio, já que e .

União, interseção e complemento

[editar | editar código-fonte]

A união de dois conjuntos A e B é o conjunto A ∪ B cujos elementos pertencem a pelo menos um dos conjuntos A ou B. A interseção de A e B é o conjunto A ∩ B cujos elementos pertencem a ambos os conjuntos A e B. Dado um conjunto A num conjunto universo U definimos o complemento de A como sendo o conjunto formado pelos elementos de U que não pertencem a A. Mais geralmente, a diferença dos conjuntos A e B é o conjunto formado pelos elementos de A que não pertencem a B. Se A e B se encontram no mesmo conjunto universo, temos .

Com estas definições, temos algumas propriedades importantes:

  1. , e ;
  2. e ;
  3. e ;
  4. ;
  5. e ;
  6. e ;
  7. (DeMorgan) e .

Dados conjuntos X e Y, uma família em Y com índices em X é uma função fX → Y. Apesar de definida por uma função, a ideia de família se guarda no conjunto-imagem desta função, não na função em si. Costuma-se denotar, para cada x ∈ X, por um subscrito. Se denotamos , a família é denotada por (ax)xX. Quando subentendido o conjunto X de índices, podemos omití-lo na notação, escrevendo simplesmente . Se os elementos de Y são conjuntos, temos uma família de conjuntos.

Sendo (Ax)xX uma família de conjuntos, definimos a união como sendo o conjunto dos y tais que y ∈ Ax para algum x.

Analogamente, quando X não for o conjunto vazio, definimos a interseção como o conjunto dos y tais que, para todo x ∈ X, y ∈ Ax.

Vale também para famílias de conjuntos as leis de DeMorgan, desde que a interseção esteja definida:
e .

O problema com é que qualquer coisa seria um elemento deste conjunto, o que é incompatível com a teoria dos conjuntos, já que o conjunto de todos os conjuntos não existe. Este problema desaparece quando subentendido um conjunto universo U no qual estão contidos os Ax. Neste caso, podemos considerar a interseção como sendo o próprio U.


Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

Seja um conjunto não-vazio e um conjunto formado por partes de . Se possuir as seguintes propriedades:

  1. ;
  2. Se , então ;
  3. Se é uma família tal que , então ;

dizemos que é uma topologia em e que o par é um espaço topológico. Chamamos os elementos de de abertos. Sendo um aberto, a chama-se um fechado, isto é, F é fechado se é um elemento da topologia.

Como se vê, a intersecção finita de abertos é um aberto e a união arbitrária de abertos é um aberto. Não se garante no entanto que a intersecção infinita de abertos seja um aberto. Como se verá, na maior parte dos casos não é assim.

Sendo τ1, τ2 duas topologias em X, diz-se que τ1 é menor que τ2 ou que τ2 é maior que τ1 se, e somente se, τ1τ2, isto é, um aberto segundo τ1 é também aberto segundo τ2.

Seja X um conjunto. Então:

  1. é uma topologia em . Na verdade é a menor das topologias que se pode definir em . A esta topologia chama-se a topologia indiscreta, antidiscreta ou topologia caótica em .
  2. , o conjunto das partes de , é uma topologia em . Na verdade é a maior das topologias que se pode definir em . A esta topologia chama-se a topologia discreta em .
  3. é uma topologia em que se chama topologia cofinita em . Note-se que, se é finito, esta topologia no fim de contas é a topologia discreta. A topologia cofinita é um exemplo de topologia que não possui a propriedade de Hausdorff. Note que, se é finito, a topologia cofinita é a topologia discreta e se X é infinito não é possível construir uma topologia em que os abertos são finitos.
  4. é uma topologia em que se chama topologia cocontável. Note-se que, se é contável, esta topologia no fim de contas é a topologia discreta. Note ainda que, se é não-contável, não é possível construir uma topologia em que os abertos são contáveis.
  5. Seja . O conjunto é uma topologia sobre o conjunto .

"Topologia" segundo os fechados

[editar | editar código-fonte]

Sejam X um espaço topológico e σ o conjunto dos fechados em X. Então:

  1. X,Ø ∈ σ;
  2. Para A,Bσ, vem que ;
  3. Para uma família (Ai)i em σ, vem que .

Como se vê, os fechados seguem regras parecidas às que os abertos seguem, mas tendo em conta a complementação. Na verdade pode-se definir essa espécie de "topologia" começando por definir os fechados e definir mais tarde os abertos como os seus complementares.


e

[editar | editar código-fonte]

Sendo X espaço topológico, às uniões contáveis de fechados chama-se Fσ e às intersecções contáveis de abertos chama-se Gδ. Em geral um Fσ não é fechado e um Gδ não é aberto, no entanto um fechado é um Fσ e um aberto é um Gδ.

Note-se que a união contável de Fσ 's é um Fσ, a intersecção arbitrária de Fσ 's é um Fσ, a união arbitrária de Gδ 's é um Gδ e a intersecção contável de Gδ 's é um Gδ.

A união finita de fechados é um fechado. Mas se se passar à união numerável, pode já não ser. Aqui não se quis considerar a união arbitrária de fechados. O que sucederia em tal caso? Em Topologia, como se verá, considerar famílias contáveis ou incontáveis de objectos topológicos delineia uma raia muito importante. Quando, para descrever e trabalhar numa topologia, basta apenas considerar famílias contáveis de objectos, tem-se uma topologia na qual é muito fácil trabalhar. Quando famílias contáveis não chegam, depara-se a todo o momento com problemas intratáveis.

Para aquilo que é a maioria das aplicações da Topologia, na Análise em particular, as topologias que verificam um certo grau de contabilidade são mais do que suficientes.


Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

Espaços métricos

[editar | editar código-fonte]

Seja M um conjunto não-vazio e uma função. Dizemos que é um espaço métrico se, para todo , a função d satisfizer as seguintes propriedades:

  • M1: ;
  • M2: , simetria;
  • M3: ;
  • M4: , desigualdade trigonométrica.

Define-se, num espaço métrico M, a bola aberta de centro em x e raio .

Estrutura de espaço topológico

[editar | editar código-fonte]

Pode-se provar que o conjunto é uma topologia sobre M. De fato, temos, por vacuidade, e, para quaisquer , , donde . Sejam e . Então existem tais que e . Escolhemos . Vemos que e , logo e . Seja uma família em T. Se , então, para algum μ, , donde existe um tal que . Logo . Isto completa a demonstração de que T é uma topologia sobre M.

Base de uma topologia e topologia gerada

[editar | editar código-fonte]

Seja X conjunto e (τi)i família de topologias em X. Então ∩i τi é uma topologia em X (∩i τi é o conjunto de todas as partes de X que são simultaneamente abertas para todas as topologias τi). Sendo α conjunto de partes de X, ∩{τ topologia em X : ατ} é a menor topologia em X para a qual os elementos de α são abertos, que se diz gerada por α e se denota top α (note-se que o conjunto ao qual se aplica a intersecção não é vazio: pelo menos a topologia discreta é elemento dele). Note-se que top α é precisamente o conjunto das uniões arbitrárias de intersecções finitas de elementos de α, ou, doutra forma, o conjunto das intersecções finitas de uniões arbitrárias de elementos de α.

Sejam τ uma topologia em X e β conjunto de partes de X. Então diz-se que β é uma base de τ sse τ for precisamente o conjunto das uniões arbitrárias de elementos de β. Diz-se que β é uma sub-base de τ sse o conjunto das intersecções finitas de elementos de β for uma base de τ. Note-se que uma base é uma sub-base.

Dado α conjunto de partes de X, α é uma sub-base de top α.

Sejam X um espaço topológico, xX e V parte de X. Então:

1) Diz-se que V é vizinhança de x sse existe um aberto A com xAV.

2) Diz-se que V é vizinhança pontuada de x sse existe W vizinhança não singular de x com V = W − {x}.

3) Note-se que, sendo Y parte de X com xY, V é uma vizinhança de x em Y sse existe U vizinhança de x em X com V = Y ∩ U.

Bases de vizinhanças

[editar | editar código-fonte]

Sejam X espaço topológico e xX. Então:

1) Uma família (Vi)i de vizinhanças de x diz-se uma base de vizinhanças de x sse, sendo V vizinhança de x, para algum i, vem que ViV.

2) Uma família (Vi)i de vizinhanças pontuadas de x diz-se uma base de vizinhanças pontuadas de x sse, sendo V vizinhança de x, para algum i, vem que ViV.

3) Note-se que a família de todas as vizinhanças de x é ela própria uma base de vizinhanças de x. Assim como o é a família de todos os abertos que contenham x.


Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

Interior, exterior, fronteira e fecho

[editar | editar código-fonte]

Sejam X espaço topológico, A parte de X e xX. Então:

1) Diz-se que x é interior a A sse A é vizinhança de x.

2) Diz-se que x é exterior a A sse XA é vizinhança de x.

3) Diz-se que x é fronteiro a A sse x não é interior a A e x não é exterior a A sse qualquer vizinhança de x tem pontos de A e pontos exteriores a A.

4) Diz-se que x é aderente a A sse x é interior a A ou x é fronteiro a A sse qualquer vizinhança de x intersecta A.

5) Ao conjunto de todos os pontos interiores (resp. exteriores, fronteiros, aderentes) a A chama-se o interior (resp. exterior, fronteira, fecho) de A e denota-se int A (resp. ext A, front A, fecho A).

6) int A, ext A, front A constituem uma partição de X.

7) int A, ext A são abertos e front A, fecho A são fechados.

8) int A é o maior aberto contido em A e fecho A é o menor fechado que contém A.

9) int A = ext(XA), ext A = int(XA), front A = front(XA), fecho A = X − ext A = front A ∪ int A = front A ∪ A, front A = fecho A ∩ fecho(XA).

10) int int A = int A, ext ext A = int A, front int A = front ext A = front A, fecho int A = fecho A.

Num espaço topológico X:

1) A é aberto sse A é vizinhança de todos os seus pontos sse A = int A.

2) A é fechado sse A = fecho A.

3) int(A ∩ B) = int A ∩ int B.

4) int ∩i Ai ⊆ ∩i  int Ai.

5) ext(A ∪ B) = ext A ∩ ext B.

6) ext ∪i Ai ⊆ ∩i ext Ai.

7) fecho(A ∪ B) = fecho A ∪ fecho B.

8) fecho(A ∩ B) ⊆ fecho A ∩ fecho B.

9) fecho ∪i Ai ⊇ ∪i fecho Ai.

10) Sendo A aberto, vem que A ∩ B = Ø sse A ∩ fecho B = Ø.

Ponto de acumulação, ponto isolado, conjunto perfeito e conjunto puro

[editar | editar código-fonte]

Sejam X espaço topológico, A parte de X e xX. Então:

1) Diz-se que x é ponto isolado de A sse, para alguma V vizinhança pontuada de x, V não intersecta A.

2) Diz-se que x é ponto de acumulação de A sse x não é ponto isolado de A sse x ∈ fecho(A − {x}).

3) O conjunto dos pontos isolados (resp. de acumulação) de A denota-se isol A (resp. acum A).

4) Note-se que pode haver pontos isolados de A que pertençam a A, assim como pode haver pontos de acumulação de A que não pertençam a A.

5) acum A ⊆ fecho A.

6) A é fechado sse acum AA.

7) Diz-se que A é perfeito sse A = acum A.

8) Diz-se que A é puro sse A = A ∩ isol A sse a sub-topologia em A é a topologia discreta.

9) Se A é perfeito, então A é fechado.

10) Num espaço de Hausdorff, um conjunto finito é puro.


Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

Base-de-filtro

[editar | editar código-fonte]

Num conjunto X, diz-se que um conjunto B de partes de X é uma base-de-filtro se, e somente se:

1) Ø ∉ B;

2) Para α, βB, existe γB tal que γα ∩ β.

Aderência e convergência

[editar | editar código-fonte]

Dados dois conjuntos X, com um conjunto A de partes X, e Y, com um conjunto de B de partes de Y, dada uma função f: XY, pode-se perguntar se, dado αA, f(α) tem alguma relação com os elementos de B ou se, dado βB, f−1(β) tem alguma relação com os elementos de A. Considere-se os casos:

1) Diz-se que f é A,B-mensurável sse, para todos os βB, f−1(β) é um elemento de A.

2) Diz-se que f é A,B-aderente sse, para todos os βB e αA, vem que f(α) intersecta β.

3) Diz-se que f é A,B-convergente sse, para todos os βB, existe αA tal que f(α) ⊆ β.

4) É evidente que, se A, B são bases-de-filtro, vem que f ser A,B-convergente implica f ser A,B-aderente.

Composição de funções aderentes e convergentes

[editar | editar código-fonte]

Sejam X, A; Y, B e Z, C conjuntos com bases-de-filtro respectivas e f: XY e g: YZ funções. Então:

1) Se f é aderente e g convergente, então gf é aderente.

2) Se f é convergente e g convergente, então gf é convergente.

Carácter local da aderência e da convergência

[editar | editar código-fonte]

Sejam X, A e Y, B conjuntos com bases-de-filtro. Sejam ZA e C = {Z ∩ α : αA}, que é uma base-de-filtro em Z. Sejam f: XY e g: YZ funções. Então:

1) f é A,B-aderente (resp. convergente) sse fZ é C,B-aderente (resp. convergente).

2) g: YX é B,A-aderente (resp. convergente) sse g: YZ é B,C-aderente (resp. convergente).


Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

Sub-topologia

[editar | editar código-fonte]

Seja X um espaço topológico. Sendo Y uma parte de X, em Y considera-se a topologia {A ∩ Y: A é aberto de X} que se diz ser sub-topologia da topologia em X e diz-se que Y é um sub-espaço topológico de X. Isto é, os abertos em Y são as intersecções com Y dos abertos em X. Note-se que então os fechados em Y são as intersecções com Y dos fechados em X. Por outro lado, se Y é um aberto em X, os abertos em Y são também abertos em X, e se Y é um fechado em X, os fechados em Y são também fechados em X.

Em Y pode-se definir outras topologias, mas esta é a que se considera canonicamente associada a Y como parte do espaço topológico X.

Se Z for uma parte de Y, então a sub-topologia em Z que vem de Y é a mesma que vem de Z quando se considera Z como parte de X.


Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

Axiomas de separação são uma série de axiomas que descrevem de que forma um espaço topológico pode ser separado em partes menores; ou, mais precisamente, de que forma pontos e subconjuntos de um espaço topológico podem ser distinguidos através de propriedades topológicas.

O conceito básico dos axiomas de separação é que pontos e conjuntos do espaço possam ser distintos topologicamente, em outras palavras, que haja alguma propriedade topológica que permita distinguir estes elementos.

Por exemplo, dois pontos p e q, são topologicamente distintos quando existe um aberto A que contém um deles mas não contém o outro.

Na topologia grosseira, em que há apenas dois abertos (o conjunto vazio e o conjunto total), dois pontos quaisquer não são topologicamente distintos. Por outro lado, na topologia discreta, em que todos subconjuntos do espaço são abertos, dois pontos quaisquer são topologicamente distintos. Nos espaços métricos, igualmente, dois pontos quaisquer são topologicamente distintos. Assim, chama-se a esta propriedade o axioma T0 de separação:

Um espaço é T0 ou Kolmogorov quando dois pontos diferentes p e q podem ser distintos topologicamente.

Os demais axiomas de separação são formulados analogamente; pode ser exigida a existência simultânea de abertos disjuntos, a separação de conjuntos fechados ou a existência de funções contínuas.

Lista dos axiomas de separação

[editar | editar código-fonte]

Os textos didáticos costumam diferir na apresentação dos axiomas, e na sua numeração; por exemplo, um espaço T3 deve ter a propriedade de que dado um conjunto fechado e um ponto externo, eles podem ser separados por abertos, porém alguns textos não exigem nenhum outro axioma, enquanto outros textos também existem o axioma T1.

Os axiomas são:

  • Kolmogorov ou T0: dois pontos quaisquer são topologicamente distintos.
  • T1: dois pontos quaisquer podem ser separados por abertos, ou seja, para todo a e b existem abertos Ua e Ub tais que cada ponto está em um aberto e não está no outro. Também chamado de espaço de Fréchet.
  • Hausdorff ou T2: dois pontos quaisquer podem ser separados por abertos disjuntos.

A partir daqui, as definições costumam variar entre livros.

  • Qualquer conjunto fechado e um ponto que não pertence a este conjunto podem ser separados por abertos. Algumas vezes chamado de T3.
  • Espaço normal, quando satisfaz o axioma acima e é T1 (chamado, neste contexto, de T3) ou T2. Note que as duas definições são equivalentes, porque , e a propriedade acima combinada com T0 implica em T2.
  • Qualquer conjunto fechado não vazio e um ponto que não pertence a este conjunto podem ser separados por funções contínuas.
  • Espaço completamente regular ou , quando satisfaz o axima acima e é T1.
  • Dois conjuntos fechados disjuntos quaisquer podem ser separados por abertos. Algumas vezes chamado de T4, em outras vezes T4 exige este axioma e T1.
  • Espaço normal, quando satisfaz a propriedade acima e é T1,algumas vezes chamado T4.
  • T5, quando dois conjuntos disjuntos quaisquer podem ser separados por abertos.
  • Espaço completamente normal, quando é normal e T5.

Espaço de Kolmogorov ou Espaço T0

[editar | editar código-fonte]

Um espaço topológico é Kolmogorov ou T0 quando dois pontos quaisquer são topologicamente distintos, ou seja, existe alguma propriedade topológica que distingue um ponto do outro. Mais precisamente:

Um espaço topológico é T0 quando, para todos pontos x e y, existe um aberto A tal que

Em palavras, dados dois pontos, existe um aberto que contém um deles mas não contém o outro.

Exemplo: espaços métricos são Kolmogorov, a topologia discreta é Kolmogorov, a topologia grosseira, em um espaço com dois ou mais pontos, não é Kolmogorov.

Em um espaço que não é Kolmogorov, é possível definir uma relação de equivalência, como sendo x e y são topologicamente indistinguíveis, ou, mais precisamente:

se não existe um aberto A que separe x e y

Em outras palavras:

se, para todo aberto A, temos que ou

É fácil verificar, nesta relação, a propriedade reflexiva e simétrica; a propriedade transitiva pode ser vista quebrando-se nos quatro casos: sejam e , e um aberto qualquer A, então temos:

  1. e , portanto
  2. e - contradição em y
  3. e - contradição em y
  4. e , portanto

Em outras palavras, se um espaço tem pontos topologicamente indistinguíveis, é como se estes pontos pudessem ser agrupados como se fossem um só. Ou seja, é possível ver a projeção canônica do espaço nas classes de equivalência como uma forma de colapsar pontos indistinguíveis.

Mais tecnicamente, seja K um espaço qualquer, e a relação de equivalência definida acima.

Seja:

a projeção canônica que leva cada ponto em sua classe de equivalência, e tomemos em a topologia induzida pela projeção, ou seja, um conjunto U é aberto em se, e somente se, sua imagem inversa é um aberto em K.

Então:

  1. é uma função contínua
  2. é um espaço de Kolmogorov
  3. caso K também seja Kolmogorov (neste caso, cada elemento de é um conjunto da forma {x}, com ) a função é um homeomorfismo

Prova: exercício.

Este espaço construído a partir de um espaço qualquer e da relação de equivalência entre pontos indistinguíveis se chama Quociente de Kolmogorov. Várias das propriedades topológicas estão presentes no espaço se, e somente se, estão presentes no seu quociente de Kolmogorov, mas há exceções (obviamente, as propriedades associadas aos axiomas de separação, além de outras).

Espaços conexos

[editar | editar código-fonte]

Seja M, um espaço métrico. Uma cisão de M é uma decomposição M=AB, onde A e B são abertos disjuntos de M.

Se A ou B são vazios, esta cisão é dita trivial de M.

Um espaço métrico é conexo, quando a única cisão que este admite é a cisão trivial.

A ideia de conexidade está ligada a noção generalizada de não possuir "buracos" mas isso nem sempre é verdadeiro como se verá abaixo.

Exercite sua mente tentando provar estes fatos, na dúvida consulte o livro de Elon L. Lima sobre espaços métricos.

Os reais são conexos, bem como qualquer dos seus intervalos.

Porém se dos reais retirarmos um ponto temos um espaço não conexo, (dito desconexo), pois o ponto dividira este em duas partes não vazias.

Uma bola aberta no plano é conexa. Mas se retirarmos seu centro ela se matem conexa.

Enumerabilidade

[editar | editar código-fonte]

1) Um espaço topológico X diz-se que verifica o 1º Axioma da Contabilidade se a topologia em X tem uma base contável se a topologia em X tem uma sub-base contável.

2) Um espaço topológico X diz-se que verifica o 2º Axioma da Contabilidade se cada ponto de X tem uma base contável de vizinhanças.

3) Sendo X um espaço topológico, se x ∈ X tem uma base contável de vizinhanças, então tem uma base (Vn)n de vizinhanças tal que
... ⊆ V3 ⊆ V2 ⊆ V1.

4) Se X verifica o 1º Axioma da Contabilidade, então também verifica o 2º Axioma da Contabilidade.

5) Um sub-espaço dum espaço topológico que verifique o 1º Axioma da Contabilidade (resp. 2º Axioma da Contabilidade) também verifica o 1º Axioma da Contabilidade (resp. 2º Axioma da Contabilidade).

Sendo X espaço topológico, diz-se que uma parte A de X é densa em X sse alguma das condições equivalentes se verifica:

1) fecho A = X.

2) ext A é vazio.

3) Todo o aberto de X intersecta A.

Sendo X espaço topológico:

1) A é denso em fecho A.

2) Se A é denso em B e B é denso em X, então A é denso em X.

3) Ainda que A seja denso em X, pode ser que B ∩ A não seja denso em B, como se pode ver fazendo X = {1, 2, 3} com a topologia
{Ø, X, {1, 2}} sendo A = {2, 3} e B = {1, 3}.

Espaço separável

[editar | editar código-fonte]

Sendo X um espaço topológico:

1) Diz-se que X é separável sse X contiver uma parte densa contável.

2) Se X verifica o 1º Axioma da Contabilidade, então X é separável.

Demonstração
2): Suponha-se que X verifica o 1º Axioma da Contabilidade. Seja β uma base contável da topologia em X. Para cada A ∈ β, seja um certo xA ∈ A. Então B = {xA: A ∈ β} é contável. Sendo U aberto de X, U é a união de elementos de β, portanto algum elemento de B está em U. Assim B é denso em X.

Sejam X espaço topológico e (Xn)n sucessão de partes de X cuja união é X. Para cada n, seja Dn contável denso em Xn. Então  ∪ n Dn é contável e denso em X. Em particular, se um espaço é a união contável de sub-espaços separáveis, então ele é separável.

Demonstração
Evidentemente  ∪ n Dn é contável. Será denso em X?
Seja U aberto de X. Então, para um certo n, U ∩ Xn não é vazio. Mas U ∩ Xn é aberto de Xn, logo existe x ∈ U ∩ Xn ∩ Dn.
Então x ∈  ∪ n Dn, portanto U ∩ ( ∪ n Dn) não é vazio. O que mostra que  ∪ n Dn é denso em X.

Propriedade de Hausdorff

[editar | editar código-fonte]

Sendo X espaço topológico, diz-se que X é de Haudsdorff sse, para quaisquer x, y ∈ X diferentes, existem U vizinhança de x e V vizinhança de y que são disjuntas.

Note-se que a sub-topologia numa parte dum espaço de Hausdorff é ainda de Hausdorff. E note-se também que, se X for de Hausdorff, qualquer que seja x ∈ X, {x} é fechado.

Note-se que a propriedade de Hausdorff afirma sobre a possibilidade de «separar» dois pontos do espaço. No entanto, atenção, o facto dum espaço topológico ser separável, não significa que seja de Hausdorff. É muito fácil criar um contra-exemplo.

Conjunto raro, categorização de Baire

[editar | editar código-fonte]

Sejam X espaço topológico e A parte de X. Então:

1) Diz-se que A é raro sse int fecho A = Ø.

2) Diz-se que A é da 1ª Categoria de Baire sse A é a união contável de conjuntos raros.

3) Diz-se que A é da 2ª Categoria de Baire sse A não é da 1ª Categoria de Baire.

4) A é aberto e denso em X sse X - A é fechado e raro em X.


Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

Monóide livre gerado por um conjunto

[editar | editar código-fonte]

Sejam um espaço vetorial e uma base de . Dado qualquer espaço vetorial e quaisquer elementos , existe uma aplicação linear tal que . Poderíamos dizer que isto acontece porque os elementos de uma base não estão "relacionados" uns com os outros (formalmente, são linearmente independentes). De fato, se, por exemplo, tivéssemos a relação para algum escalar (e então já não seriam linearmente independentes), então a aplicação linear podia não existir.

Consideremos um problema semelhante com grupos: dado um grupo gerado por um conjunto e dados um qualquer grupo e um qualquer conjunto , existirá sempre um morfismo de grupos tal que ? A resposta é não. Por exemplo, consideremos o grupo que é gerado pelo conjunto , o grupo (com a operação de adição) e o conjunto . Se existisse um morfismo de grupos tal que , então , o que é impossível. Mas se tivéssemos escolhido , então tal morfismo de grupos existiria e seria dado por . De fato, dado qualquer grupo e qualquer , temos um morfismo de grupos definido por (em notação multiplicativa) que verifica . De certo modo, podemos pensar que isto acontece porque os elementos do conjunto (que gera ) não verificam relações como (como ) ou . Portanto, parece que é um grupo mais "livre" do que .


O nosso objetivo nesta seção vai ser, dado um conjunto , construir um grupo gerado pelo conjunto e que seja o mais "livre" possível, no sentido de não ter de obedecer a relações como ou . Para isso, vamos começar por definir um monóide "livre" (no mesmo sentido). Informalmente, este monóide vai ser o monóide das palavras escritas com letras do "alfabeto" , onde a identidade vai ser a palavra sem letras (a "palavra vazia"), e a operação binária do monóide vai ser "juntar" duas palavras para forma uma nova palavra. A notação que vamos usar para os elementos deste monóide vai ao encontro da ideia de que os elementos deste monóide são palavras onde são letras do alfabeto . Segue-se a definição formal deste monóide.


Definição Seja um conjunto.

  1. Denotamos os -uplos (com e ) por .
  2. Denotamos , isto é, com , por .
  3. Denotamos por o conjunto .
  4. Definimos em a operação de concatenação por .


De seguida provamos que este monóide é efetivamente um monóide. Trata-se de um resultado de demonstração simples.


Proposição é um monóide com elemento neutro .

Demonstração A operação é associativa porque, dados quaisquer temos

.

É óbvio que tem elemento neutro .


Seguindo a ideia de que o monóide é o monóide mais "livre" gerado por , vamos chamar-lhe monóide livre gerado por .


Definição Seja um conjunto. Ao monóide (FM(X),*) chamamos monóide livre gerado por .


Exemplos

  1. Seja . Então e, por exemplo, .
  2. Seja . Então e, por exemplo, .


Grupo livre gerado por um conjunto

[editar | editar código-fonte]

Passemos agora à construção do grupo mais "livre" gerado por um conjunto . Informalmente, o que vamos fazer é introduzir no monóide os elementos inversos que lhe faltam para ser um grupo. Concretizando um pouco mais, vamos tomar um conjunto equipotente a , escolher uma bijecção de em e deste modo ficar com uma "associação" entre os elementos de e os elementos de . Então encaramos o elemento (com ) como tendo o elemento (com ) como inverso, onde os estão associados a , respectivamente. Notemos que a ordem dos elementos em está "invertida" porque o inverso do produto tem de ser , e os serão, respectivamente, os . A forma de fazemos com que seja o inverso de é tomar uma relação de congruência que identifica com , e passar ao quociente por esta relação (definindo depois nesse quociente, de forma natural, a operação binária do grupo, ). Ao passarmos ao quociente, estamos a formalizar a ideia intuitiva de identificar com , pois no quociente temos a igualdade . Passemos então à definição formal.


Definição Seja um conjunto. Tomemos um outro conjunto equipotente a e disjunto de e seja uma aplicação bijectiva.

  1. Para cada denotemos por , para cada denotemos por e para cada denotemos por .
  2. Seja a relação de congruência em gera por , isto é, é a interseção de todas as relações de congruência em que contêm . Denotamos o conjunto quociente por .


Frequentemente, por abuso de notação, denotamos um elemento simplesmente por .

Uma vez que a operação que queremos definir em está definida à custa de representantes particulares e das classes de equivalência e , um primeiro cuidado a ter é verificar que a definição não depende dos representantes escolhidos. Trata-se de uma verificação simples.


Lema Seja um conjunto. Fica bem definida em a operação binária por (onde é a relação de congruência de definição anterior).

Demonstração Sejam quaisquer tais que e , isto é, e . Por se relação de congruência em , temos , isto é, .


Visto então que a definição é legítima, apresentamo-la.


Definição Seja um conjunto. Definimos em a operação binária por .


Finalmente, verificamos que o grupo que construímos é efetivamente um grupo.


Proposição Seja um conjunto. é um grupo com elemento neutro e onde .

Demonstração

  1. é associativo porque
  2. Vejamos que é elemento neutro de . Seja qualquer. Temos e, analogamente, .
  3. Seja qualquer e vejamos que . Temos e, por definição de , , isto é, , logo e, analogamente, .


Analogamente ao que fizemos com o monóide livre, ao grupo mais "livre" gerado pelo conjunto vamos chamar grupo livre gerado por .


Definição Seja um conjunto. Ao grupo chamamos grupo livre gerado por .


Exemplo Seja . Escolhamos um qualquer conjunto disjunto (e equipotente) de . Seja uma (na verdade, a única) aplicação bijectiva de em . Então denotamos por e denotamos por . Passamos a encarar e como elementos inversos. Seja a relação de congruência de gerada por . é o conjunto das "palavras" escritas no alfabeto . Por exemplo, .

Temos e, por exemplo, , pois de (logo ) e de ser relação de congruência, vem que podemos "multiplicar" ambos os "membros" da relação e obter . Encaramos como significando que em temos (em rigor, ), e pensamos nesta igualdade como sendo resultado de um "anular-se" com em .

Dado , denotemos o número exato de vezes que a "letra" ocorre em por e denotemos o número exato de vezes que a "letra" ocorre em por . Então "cortando" 's com 's ficamos com uma palavra reduzida com vezes a letra (se , entendamos que não há letras e fica vezes a letra ). Denotemos este número por . Temos

  1. se e só se e
  2. .

Assim, cada elemento fica determinado pelo número inteiro e o produto de dois elementos corresponde à soma dos seus inteiros associados e . Assim, parece que o grupo é "semelhante" a . Com efeito é isomorfo a e a aplicação é um isomorfismo de grupos.

Apresentação de um grupo

[editar | editar código-fonte]

Informalmente, parece que é obtido do grupo "livre" impondo a relação . Vamos tentar formalizar esta ideia. Partimos de um conjunto que gera um grupo que queremos criar e de um conjunto de relações (tais como ou ) que os elementos de devem verificar e obtemos o grupo gerado por e que verifica as relações . Mais precisamente, escrevemos cada relação na forma (por exemplo, escreve-se na forma ) e encaramos como uma "palavra" de . Como não tem necessariamente de ser um subgrupo normal de , não podemos considerar o quociente , pelo que consideramos o quociente onde é o subgrupo normal de gerado por . Em , vamos ter , o que encaramos como significando que em os elementos e são o mesmo. Assim, vai verificar todas as relações que queremos e vai ser gerado por (mais precisamente, por ). Formalizamos de seguida esta ideia.


Definição Seja um grupo. Chamamos apresentação de , e denotamos por , a um par ordenado onde é um conjunto, e , onde é o subgrupo normal de gerado por . Numa apresentação , a chamamos conjunto gerador e a chamamos conjunto das relações.


Vejamos exemplos de apresentações do grupo livre e dos grupos , , e . Aproveitamos também os exemplos para expor alguma notação usual e mostrar que a apresentação de um grupo não tem de ser única.


Exemplos

  1. Seja um conjunto. é uma apresentação de porque , onde é o subgrupo normal de gerado por . Em particular, é uma apresentação de , mais usualmente denotada por . Outra apresentação de é , mais usualmente denotada por . Informalmente, na apresentação introduzimos um novo elemento no conjunto gerador, mas depois impomos a relação , isto é, , o que na prática é o mesmo que nem ter introduzido e ter ficado pela apresentação .
  2. Seja . (onde vezes) é uma apresentação de . Com efeito, o subgrupo de gerado por é e , logo . É mais usual denotar por .
  3. Sejam (com e distintos) e . é uma apresentação de . Informalmente, o que fazemos é impor em que haja comutatividade, isto é, , ou seja, , obtendo um grupo isomorfo a . É mais usual denotar por .
  4. Sejam e . é uma apresentação de . Informalmente, o que fazemos é impor a comutatividade da mesma forma que no exemplo anterior, e impomos ainda e para obtermos em vez de . É mais usual denotar por .
  5. , mais usualmente escrito , é uma apresentação de , o grupo das permutações de com a composição de aplicações. Para verificar isto, podemos verificar que qualquer grupo com apresentação tem exatamente seis elementos , , , , , e , e que a multiplicação destes elementos resulta na seguinte tabela de Cayley que é igual à tabela de Cayley de . Apenas para dar uma ideia de como o podemos fazer, um grupo com apresentação tem exatamente os elementos , , , , , e porque nenhuns destes elementos são iguais (as relações não permitem concluir que dois destes elementos são iguais) e porque "outros" elementos como são na realidade alguns dos elementos anteriores (por exemplo, de temos , e tomando inversos de ambos os membros, temos , que, usando , isto é, , e , resulta em ). Então, usando as relações da apresentação, podemos calcular a tabela de Cayley. Por exemplo, porque temos a relação . Outro exemplo: temos porque podemos multiplicar ambos os membros da relação por e então usar . Podíamos ter suspeitado desta representação tomando , e e depois, tentando construir a tabela de Cayley de , descoberto que tal era possível se soubéssemos que .


É natural perguntar se todo o grupo tem uma apresentação. O teorema seguinte diz-nos que sim, e dá-nos até uma apresentação.


Teorema Sejam um grupo.

  1. A aplicação definida por (onde ) é um epimorfismo de grupos.
  2. é uma apresentação de .

Demonstração

  1. está bem definida porque todo o elemento de tem uma representação única na forma com , a menos de surgir várias vezes na representação, o que não afeta o valor de . Sejam quaisquer, onde . Temos , logo é morfismo de grupos. Como , então é epimorfismo de grupos.
  2. Pelo primeiro teorema do isomorfismo (para grupos), temos , logo é uma apresentação de .


O teorema anterior, embora dê uma apresentação do grupo , não nos dá uma "boa" apresentação, pois o conjunto gerador é usualmente bastante maior do que outros conjuntos geradores, e o conjunto das relações é também usualmente bastante maior do que outros conjuntos de relações suficientes (é até um subgrupo normal de , quando bastava que gerasse um subgrupo normal apropriado).

Topologia geral

[editar | editar código-fonte]

Topologia algébrica

[editar | editar código-fonte]