Espaço conexo









Question book-4.svg

Esta página ou secção cita fontes confiáveis e independentes, mas que não cobrem todo o conteúdo, o que compromete a verificabilidade (desde julho de 2013). Por favor, insira mais referências no texto. Material sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)




De cima para baixo: os espaços vermelho A, magenta B, amarelo C e laranja D são todos conexos, enquanto o espaço verde E (composto pelos subconjuntos E1, E2, E3 e E4) é desconexo. Para além disso, A e B são também simplesmente conexos (género 0), enquanto C e D não o são: C tem género 1 e D tem género 4.


Em topologia e ramos relacionados da matemática, conexidade (português brasileiro) ou conectividade (português europeu) é a propriedade de um espaço conexo, isto é, um espaço topológico que não pode ser representado como a união de dois ou mais conjuntos abertos disjuntos e não-vazios.


Podemos ainda dizer que um conjunto X{displaystyle X}{displaystyle X} é conexo quando não admite outra cisão além da trivial. Neste caso se existirem conjuntos abertos A,B⊂X{displaystyle A,Bsubset X}{displaystyle A,Bsubset X} tais que X=A∪B{displaystyle X=Acup B}{displaystyle X=Acup B} com A∩B=∅{displaystyle Acap B=varnothing }{displaystyle Acap B=varnothing } então A=∅{displaystyle A=varnothing }{displaystyle A=varnothing } ou B=∅.{displaystyle B=varnothing .}{displaystyle B=varnothing .}


Observemos que um subconjunto X{displaystyle X}{displaystyle X} admite uma cisão não-trivial quando existem conjuntos abertos A,B⊂X{displaystyle A,Bsubset X}{displaystyle A,Bsubset X} tais que X=A∪B{displaystyle X=Acup B}{displaystyle X=Acup B} com A∩B=∅.{displaystyle Acap B=varnothing .}{displaystyle Acap B=varnothing .} Neste caso dizemos que X{displaystyle X}{displaystyle X} é desconexo.


Estas definições são válidas inclusive para o caso particular de X⊂Rn.{displaystyle Xsubset mathbb {R} ^{n}.}{displaystyle Xsubset mathbb {R} ^{n}.}


Do ponto de vista da topologia dizemos que, um espaço topológico é desconexo se contém dois abertos complementares não vazios. Em caso contrário diz-se conexo.


Os subconjuntos {displaystyle varnothing }varnothing e X{displaystyle X}{displaystyle X} são, ao mesmo tempo, abertos e fechados em qualquer topologia de X.{displaystyle X.}{displaystyle X.} Se eles são os únicos conjuntos abertos e fechados, então X{displaystyle X}{displaystyle X} é conexo. Por outro lado, se existe A{displaystyle A} A aberto e fechado com A⊂X,{displaystyle varnothing ,subset Asubset X,}{displaystyle varnothing ,subset Asubset X,} então X{displaystyle X}{displaystyle X} é desconexo.




Índice






  • 1 Definição Formal


  • 2 Propriedades


  • 3 Componentes conexas


  • 4 Exemplos


  • 5 Ver também


  • 6 Referências





Definição Formal |


Um espaço topológico X{displaystyle X}{displaystyle X} é dito desconexo se for união de dois conjuntos disjuntos abertos não-vazios. Caso contrário, X{displaystyle X}{displaystyle X} é dito conexo.



Propriedades |



  • Todo conjunto X⊂Rn{displaystyle Xsubset mathbb {R} ^{n}}{displaystyle Xsubset mathbb {R} ^{n}} admite pelo menos a cisão trivial X=X∪.{displaystyle X=Xcup varnothing .}{displaystyle X=Xcup varnothing .}

  • A união de qualquer família de subespaços conexos de X,{displaystyle X,}{displaystyle X,} cuja intersecção é não vazia, é um subespaço conexo de X{displaystyle X}{displaystyle X}'.

  • A imagem de um conjunto conexo por uma aplicação contínua é um conjunto conexo.

  • Todo conjunto homeomorfo a um conjunto conexo é também um conjunto conexo.



Componentes conexas |


  • Uma componente conexa de um espaço topológico é um subespaço conexo maximal.


Exemplos |




Um espaço conexo que não é conexo por arcos.




  • R{displaystyle mathbb {R} }mathbb {R} e C{displaystyle mathbb {C} }mathbb{C} são conexos.


  • N,{displaystyle mathbb {N} ,}{displaystyle mathbb {N} ,} Z{displaystyle mathbb {Z} }mathbb{Z } e Q{displaystyle mathbb {Q} }mathbb{Q} são desconexos.

  • No R2,{displaystyle mathbb {R} ^{2},}{displaystyle mathbb {R} ^{2},} o gráfico da função


f(x)={sen1x,se x≠00,se x=0{displaystyle f(x)=left{{begin{matrix}{mbox{sen}}{frac {1}{x}},&{mbox{se }}xneq 0\0,&{mbox{se }}x=0end{matrix}}right.}{displaystyle f(x)=left{{begin{matrix}{mbox{sen}}{frac {1}{x}},&{mbox{se }}xneq 0\0,&{mbox{se }}x=0end{matrix}}right.}

é conexo. Este é o contra-exemplo padrão de um espaço conexo que não é conexo por arcos.



Ver também |



  • conexidade por arcos


  • conexidade simples.



Referências





  • Lima, Elon L. (2006), Curso de Análise Vol.2, ISBN 85-244-0049-8, Rio De Janeiro: IMPA .


  • Munkres, James R. (2000), Topology, ISBN 9780131816299, Prentice Hall, Incorporated .





Ícone de esboço
Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.



Popular posts from this blog

Le Mesnil-Réaume

Bundesstraße 106

Ida-Boy-Ed-Garten