Você está na página 1de 2

Topologia grosseira Wikipdia, a enciclopdia livre

1 de 2

https://pt.wikipedia.org/wiki/Topologia_grosseira

Topologia grosseira
Origem: Wikipdia, a enciclopdia livre.

Em topologia, um espao topolgico diz-se grosseiro,[Nota 1] trivial [1] ou indiscreto [2] se os seus nicos
abertos so o conjunto vazio e o prprio X.[1][2]
Um espao topolgico um conjunto com uma estrutura a mais; esta estrutura que permite definir, neste
conjunto, o que so funes contnuas.[3]
Existem vrias definies equivalentes do que seja um espao topolgico.[1] A forma mais usual [carece de
fontes?] definir esta estrutura sobre o conjunto X como um outro conjunto T, cujos elementos so
subconjuntos de X, chamados de conjuntos abertos, e que satisfaz determinados axiomas, dentre os quais
que
e
.[3][1] A topologia grosseira a "menor" topologia possvel, ou seja, aquela em que
apenas X e so conjuntos abertos.[1][4]
Por ser cada topologia um conjunto, eles podem ser parcialmente ordenados por incluso, ou seja, possvel
definir quando uma topologia mais grosseira que outra ou, inversamente, quando uma topologia mais
fina que outra. Uma topologia T mais grosseira que T' (ou seja, T' mais fina que T) quando
Uma
topologia mais grosseira tem menos conjuntos abertos do que uma topologia mais fina. A topologia
grosseira tem este nome por ser mais grosseira que qualquer outra topologia. Analogamente, no outro
extremo existe a topologia discreta, que mais fina que todas outras.[1][4]

ndice
1 Propriedades
2 Ver tambm
3 Notas e referncias
3.1 Notas
3.2 Referncias

Propriedades
Um espao grosseiro:
Se o espao X tem pelo menos dois pontos distintos x e y, ento estes pontos (e quaisquer outros dois
pontos) so topologicamente indistinguveis.[carece de fontes?] Ou seja, este espao no T0.[5][Nota 2]
conexo [2]
compacto
Seja p um ponto qualquer do espao X e S um subconjunto de X. Diz-se que p um ponto limite de S
quando qualquer aberto da topologia que contenha p tambm contm outro ponto de S distinto de p.
Na topologia indiscreta, para todo subconjunto S com pelo menos um elemento, todo ponto p do
espao X (exceto no caso de S = { p } ) um ponto limite de S.[Nota 3][2]
Toda funo cujo contradomnio a topologia indiscreta uma funo contnua.[2]

13/12/2016 16:20

Topologia grosseira Wikipdia, a enciclopdia livre

2 de 2

https://pt.wikipedia.org/wiki/Topologia_grosseira

Ver tambm
Topologia discreta

Notas e referncias
Notas
1. Na literatura matemtica em ingls, coarse.
2. A demonstrao to imediata que deixada como exerccio.
3. No texto de Watkins, a notao de S e X invertida: S o espao todo e X o subconjunto de S.

Referncias
1. A. Candel, Three dimes of Topology, Class Notes for Math 262, Winter 95-96, The University of Chicago,
Chapter I. Topological Spaces [em linha] (http://www.csun.edu/~ac53971/research/topology_262.pdf)
2. Thayer Watkins, Foundations of Point Set Topology [em linha] (http://www.sjsu.edu/faculty/watkins
/topology2.htm)
3. Allen Hatcher, Notes on Introductory Point-Set Topology, Chapter 1: Basic Point-Set Topology, 1. The Concept
of Topological Space [em linha] (http://www.math.cornell.edu/~hatcher/Top/TopNotes.pdf)
4. Allen Hatcher, Notes on Introductory Point-Set Topology, Chapter 1: Basic Point-Set Topology, 2. Bases and
subbases
5. Vipul Naik, Topology: The Journey into Separation Axioms, 2. What are Separation Axioms?, 2.3 Quasiorder by
closure, Concept Testers [em linha] (http://www.cmi.ac.in/~vipul/mathjourneys/contytopologysep.pdf)

Obtida de "https://pt.wikipedia.org/w/index.php?title=Topologia_grosseira&oldid=39069326"
Categoria: Topologia
Esta pgina foi modificada pela ltima vez (s) 18h37min de 3 de junho de 2014.
Este texto disponibilizado nos termos da licena Creative Commons - Atribuio - Compartilha
Igual 3.0 No Adaptada (CC BY-SA 3.0); pode estar sujeito a condies adicionais. Para mais
detalhes, consulte as Condies de Uso.

13/12/2016 16:20