TOPOLOGIA EM

Por Fred Joo dos Santos Matemtica - UFPE 1. Fronteira de um conjunto;

Em topologia, a fronteira de um subespao topolgico S de X a parte comum ao fecho de S e do seu complementar.

Propriedades

A fronteira de S o que se fica quando se retira do fecho de S o seu interior; A fronteira de um conjunto um conjunto fechado.

Mais precisamente, dado um conjunto S contido em V, dizemos que x um ponto de fronteira de S se qualquer bola aberta centrada em x contiver pontos de S e pontos do seu complementar.

Uma variedade compacta e sem fronteira chamada de variedade fechada. Podemos pensar na fronteira como um funtor que associa a cada variedade sua fronteira. Tal operador objeto de estudo da teoria dos bordismos, que foi fundada por Ren Thom. Pelo teorema de Stokes, a integral de uma k-forma diferencial sobre uma variedade compacta depende somente dos valores da k-forma na fronteira da variedade. Um subespao de um espao topolgico que coincide com sua fronteira tem necessariamente interior vazio.

2 . Conjuntos Abertos; Em topologia, um conjunto diz-se aberto se uma pequena variao de um ponto desse conjunto mantm-no no conjunto.

Definio em espaos topolgicos

Em topologia, a noo de aberto primitiva: uma topologia T em um conjunto X definina como um subconjunto do conjunto das partes de X (satisfazendo determinadas propriedades), e cada elemento de T chamado de um aberto ou conjunto aberto.

Abertos num espao mtrico

Um subconjunto de um espao mtrico existe tal que a bola aberta aberto se, para cada ponto . , est contida em

Propriedades

Em um espao topolgico ou espao mtrico X, o conjunto vazio e o prprio conjunto X so abertos. Um conjunto aberto se e s se coincidir com o seu interior. Um conjunto aberto se e s se o seu complementar for fechado. A interseo de dois conjuntos abertos um conjunto aberto. A unio de qualquer quantidade (mesmo infinita) de conjuntos abertos um conjunto aberto.

Abertos de
Como (com a topologia usual) um espao mtrico, um subconjunto , existe tal que . de aberto se, para cada ponto

Em , um subconjunto aberto se e s for reunio (possivelmente infinita) de intervalos abertos. 3. Conjuntos Fechados; Em topologia, um conjunto diz-se fechado num espao se o seu complementar for aberto.

Propriedades

Um conjunto fechado se e s se coincidir com o seu fecho. Um conjunto fechado se e s se contm a sua fronteira. A reunio de um nmero finito de conjuntos fechados um conjunto fechado. A interseco de um nmero qualquer de conjuntos fechados um conjunto fechado. Qualquer conjunto fechado em si prprio.

Exemplos

Qualquer intervalo fechado um conjunto fechado em e so fechados em .

Na topologia induzida em pela incluso em , o conjunto ]0,1], dos nmeros reais maiores que zero e menores ou iguais a um, fechado. Na topologia discreta, todo subconjunto fechado. Se a topologia Hausdorff, todo conjunto unitrio (e, por induo, todo conjunto finito) fechado.

4. Interior de um Conjunto; Em topologia, o interior de um subespao topolgico S de X o maior aberto contido em S.

Propriedades

O interior de S a unio de todos os abertos contidos em S; O interior de S o fecho de S menos a sua fronteira.

5. Conjunto limitado; Em matemtica, foram desenvolvidos vrios conceitos de conjunto limitado cada um adaptado a seu contexto. A idia de conjunto limitado est intimamente ligada idia de conjunto pr-compacto, ou seja, cujo fecho compacto. Em espaos mtricos completos de dimenso finita, estes conceitos coincidem.

Limitao em
Um subconjunto dos nmeros reais limitado se estiver contido num intervalo fechado limitado, ou seja da forma . Se um subconjunto de est contido num intervalo da forma Falhou ao verificar gramtica (<math_output_error>): (-\infty,a]\,
diz-se limitado superiormente; se est contido num intervalo da forma diz-se limitado inferiormente.

Definio em um espao mtrico

Um conjunto dito limitado se estiver contido em alguma bola de raio finito.

Definio em um espao normado

As definies so equivalentes, frente desigualdade triangular:

Um conjunto dito limitado se estiver contido em alguma bola de raio finito. Um conjunto dito limitado se estiver contido em alguma bola de raio finito centrada na origem.

Definio em um espao linear topolgico

Um conjunto Falhou ao verificar gramtica (<math_output_error>): E

 dito limitado se para toda vizinhana da origem V, existe um escalar Falhou ao verificar gramtica (<math_output_error>): \lambda tal que:

Propriedades

Se

e Falhou ao verificar gramtica (<math_output_error>): B

limitado, A limitado.

A unio finita de limitados um conjunto limitado. Todo conjunto pr-compacto E limitado

Para provar esta ltima afirmao em um espao mtrico escreva:

a bola de centro x e raio n.

Da compacidade, pode-se tomar uma sub-cobertura finita:

a bola de centro x e raio n. , pot

Em espaos lineares topolgicos, imite a demonstrao substituindo

Conjuntos d-limitados e -limitados

Todo espao mtrico possui uma topologia induzida pela mtrica. Quando este espao mtrico tambm um espao vetorial, pode acontecer de tambm ser uma espao linear topolgico. Neste caso, o conceito de conjunto limitado na mtrica pode diferir do conceito de limitado na topologia. Usa-se a notao d-limitado e tau-limitado. Cabe observar que um espao linear topolgico Hausdorff nunca limitado.

ESPAOS EUCLIDIANOS

Espao euclidiano um espao vetorial real de dimenso finita munido de um produto interno. Por volta de 300 a.C., o matemtico grego Euclides estabeleceu as leis do que veio a ser chamado Geometria euclidiana, que o estudo das relaes entre ngulos e distncias no espao. Euclides desenvolveu primeiramente a geometria plana que trata da geometria de objetos bidimensionais em uma superfcie plana. Ele ento desenvolveu a geometria slida, com que analisou a geometria de objetos tridimensionais. Todos os axiomas de Euclides foram codificados em um espao matemtico abstrato conhecido como espao euclidiano bi ou tridimensional. Estes espaos matemticos podem ser estendidos a qualquer dimenso, e tal espao chamado espao euclidiano n-dimensional ou um n-espao. Este artigo se refere a tais espaos matemticos. Para desenvolver esses espaos euclidianos de dimenses mais elevadas, as propriedades dos espaos euclidianos conhecidos devem ser expressas e ento estendidas a uma dimenso arbitrria. Embora a matemtica resultante seja um tanto abstrata, ela captura a natureza essencial dos espaos euclidianos com que todos ns estamos familiarizados. Uma propriedade essencial de um espao euclidiano sua planitude. Existem outros espaos que no so euclidianos. Por exemplo, o espao-tempo quadridimensional descrito pela teoria da relatividade quando a gravidade est presente no euclidiano.

Vista geral
Uma maneira de se pensar no plano euclidiano como um conjunto de pontos que satisfazem a determinadas relaes, expressveis em termos de distncia e de ngulo. Por exemplo, h duas operaes fundamentais no plano. Uma a translao, que significa um deslocamento do plano de modo que cada ponto deslocado no mesmo sentido e pela mesma distncia. A outra rotao em torno de um ponto fixo no plano, em que cada ponto no plano gira em torno desse ponto fixo atravs do mesmo ngulo. Um dos princpios bsicos da geometria euclidiana que duas figuras (isto , subconjuntos) do plano so consideradas equivalentes (congruentes) se uma puder ser transformada na outra por alguma seqncia das translaes e rotaes. Para se fazer tudo isso matematicamente preciso, deve-se definir claramente as noes de distncia, ngulo, translao, e rotao. A maneira padro para se fazer isso, como realizado no restante deste artigo, definir o plano euclidiano como um espao real vetorial bidimensional equipado com um produto interno. Para tanto:

os vetores no espao vetorial correspondem aos pontos do plano euclidiano, a operao da adio no espao vetorial corresponde translao, e o produto interno implica em noes de ngulo e de distncia, que podem ser usadas para definir a rotao.

Uma vez que o plano Euclidiano foi descrito dessa forma, realmente uma coisa fcil estender seu conceito a dimenses arbitrrias. Para a maior parte, o vocabulrio, as frmulas e os clculos no so feitos com mais dificuldade pela presena de mais dimenses. (Entretanto, as rotaes so mais sutis em dimenses elevadas, e visualizar espaos de dimenses mais levadas torna-se difcil, mesmo para matemticos experientes.)

O espao euclidiano no tecnicamente um espao vetorial mas mais exatamente um espao afim, em que um espao vetorial age. Intuitivamente, a distino diz apenas que no h nenhuma escolha cannica de onde a origem deve se dirigir no espao, porque ela pode ser transladada para qualquer lugar. Neste artigo, esse detalhe tcnico amplamente ignorado.

Espao coordenado real

Seja o corpo de nmeros reais. Para qualquer inteiro no-negativo , o espao de todos as -uplas de nmeros reais forma um espao vetorial -dimensional sobre , que denotado e s vezes chamado de espao coordenado real. Um elemento de escrito como

onde cada

um nmero real. As operaes do espao vetorial em

so definidas por

O espao vetorial

vem com uma base padro (base cannica):

Um vetor arbitrrio em

pode ento ser escrito na forma

o exemplo perfeito de um espao vetorial real -dimensional . Todo espao vetorial real -dimensional isomrfico a . Entretanto, esse isomorfismo no cannico. Uma escolha do isomorfismo equivalente a uma escolha da base para (olhando a imagem da base padro para em ). A razo para se trabalhar com espaos vetoriais arbitrrios em vez de que geralmente prefervel trabalhar de uma maneira independente de coordenadas (isto , sem escolher uma base preferida).

Caractersticas

Eles apresentam uma funo chamada "Mdulo" que relaciona cada vetor a um nmero real no negativo. O mdulo representa a raiz quadrada do produto interno do vetor por si mesmo:

Dois vetores quaisquer do espao formam um ngulo que o arco-cosseno da razo entre o produto interno dos vetores e o produto de seus mdulos. Ou seja, se um vetor for e o outro , ento:

Dois vetores quaisquer sempre apresentam um valor que representa a distncia entre eles. Ela definida pela frmula:

Dois vetores (ambos no nulos) cujo produto interno 0 so chamados vetores ortogonais. Vale a desigualdade de Cauchy-Scharwz para dois vetores u e v:

onde

o produto interno de u e v.