Escolar Documentos
Profissional Documentos
Cultura Documentos
RESUMO
Trata-se do estudo da álgebra de funções contínuas reais definidas num espaço de Alexandroff
completamente regular X quanto às propriedades algébricas e topológicas. Como sub-álgebra
de R X , C(X) = {f: X → ℝ / f é continua em X} = {f ∈ ℝX : f(Bp) =f(p), ∀ p ∈ X}.
Introduzimos uma nova topologia funcional em C(X), que denotamos por Ci(X), e que
transforma C(X) em um espaço vectorial topológico localmente convexo. Isto possibilitou-
nos estudar as propriedades topológico-algébricas de Ci(X.
ABSTRACT
This study is about the algebra of continuous real functions defined in an Alexandroff
completely regular space X based on algebraic and topological properties. As a sub-algebra of
R , C(X) = {f: X → ℝ / f is continued onto X} = {f ∈ ℝX : f(Bp) =f(p), ∀ p ∈ X}. Let us
X
introduce a new topological function in C(X), what we note by C i(X), and that transforme
C(X) in a vectorial topological locally convex space. This fact let us study the tpological-
algebraic propereties of Ci(X..
I. INTRODUÇÃO
Em [1], Alexandroff estabelece uma correspondência entre espaços finitos e uma relação de
pré-ordem sobre um conjunto finito. Infelizmente, seus trabalhos serão esquecidos até 1966,
ano em que dois artigos de R.E. Stong ([18]) e Arenas ([7]) virão reavivar o interesse para
esses espaços. De facto, Stong exibe uma classificação de tipos de homotopia particularmente
original onde os trabalhos de Alexandroff são postos a proveito no estabelecimento de uma
correspondência entre espaços finitos e conjuntos ordenados. Arenas, quanto a ele, associa um
complexo simplicial K(X) a todo espaço finito mostrando assim a dualidade entre conjuntos
ordenados e os espaços introduzidos por Alexandroff. Em seguida, outros trabalhos
apareceram manifestando o impacto dos espaços de Alexandroff em Topologia Geral, em
Topologia Algébrica, Tratamento digital de imagens, Topologia digital, etc. Inspirados pelo
uso da topologia de Alexandroff em informática, matemáticos até mesmo físicos começaram,
no fim dos anos 1990, a trabalhar nesta topologia para modelar a partir da relação de ordem
definida num espaço dado tal que o espaço-tempo para os físicos (Mecânica dos Fluidos, por
exemplo).
Que metodologia aplicar para definir uma topologia conveniente sobre C(X) a fim de
tratar eficientemente o nosso trabalho?
Ao caracterizar os espaços de Alexandroff completamente regulares descobrimos que a
função característica de todo aberto não vazio de X é contínua, tornando assim a R -ágebra
C(X) uma álgebra suficientemente rica.
p ∈
¿
Definição 3: Seja τ uma topologia no conjunto X. Se τ é o conjunto dos fechados de (X, τ )
¿ ¿ ¿
(isto é, τ = {S ⊂ X : X\S ∈ τ }) e se τ forma uma topologia em X, τ é denominada neste caso a
cotopologia de τ .
τ ∈ ∈ p ∈
(X, ) e p F} para todo p X. Então {F : p X} é uma base dos abertos da cotopologia τ* em
X.
1) p ∈ Bq ⇒ q Bp
∈ ⇒
2) p Fq q Fp .
3) p ∈ Fq q Bp
E reciprocamente, se (X,≤) é um conjunto ordenado não vazio e se para todo pX, assumimos
que Bp = {qX: p ≤q}. Então, B = {Bp : pX} é base para uma T0-topologia de Alexandroff
em X.
Definições 6: (a) Diz-se que um espaço topológico é regular se e somente se, para todo
fechado A e para qualquer ponto p não pertencendo a A, existem dois abertos disjuntos U e V
tais que AU e pV.
(c) Num espaço Alexandroff regular se o fechado A não estiver aberto, então
A e B, existem abertos disjuntos U e V tais que A⊂U e B⊂V. Todo -espaço normal é
regular. Mas a recíproca não é verdadeira. Para os espaços de Alexandroff, temos o
Corolário 2: Um espaço normal de Alexandroff X é regular se e somente se P = B P para todo
fechado P de X.
Resultado 07: Um espaço de Alexandroff X é normal se e somente se, para todo fechado P de
X, o aberto BP é um fechado em X.
Definição 8:
Como essa topologia é definida a partir da base irredutível, chamamo-la de topologia da base
irredutível sobre C(X). Denotamos C(X) munido dessa topologia por Ci(X).
V p,ε
= (f(p)-, f(p)+) e que é aberto em Ci(X), já que <f,BP,>=
n
[
¿ B p i , V pi, ε
i=1 ]
, uma base de vizinhanças de fC (X) é da forma ={<f,BP, : P X é finito
e 0}.
Como cada Bp é compacto, é evidente que Ci(X) ≤ Ck(X), isto é Ci(X)é menos fina que
Ck(X). É também conhecido que Cp(X) ≤ Ck(x) para os espaços de Tychonoff X ([]).
Resultado 11
- a adição : C(X) x C(X)C(X) onde (f, g) = f+g: Xℝ é definida por (f+g)(x) =
f(x)+g(x), xX;
- a multiplicação : C(X) x C(X) C(X) onde (f, g) = f.g: Xℝ é definida por (f.g)
(x) = f(x)g(x), xX. ;
- a multiplicação por um escalar : ℝ x C(X) C(X) onde (r,f) = r.f: Xℝ é
definida por (rf)(x) = rf(x), xX, para todo fC(X) e rℝ.
Demonstra-se pelo efeito que a soma, a multiplicação por um escalar e a multiplicação são
aplicações contínuas e daí se determina que Ci(X) é uma R -álgebra topológica.
Resultado 12
Definição 11: Chama-se carácter da álgebra C(X), todo homomorfismo de álgebras não nulo
: C(X) ℝ. Portanto (f+g) =(f)+(g) e (fg)=(f)(g) para todo f, g em C(X) e ,
em ℝ. O carácter assim definido é uma aplicação contínua.
Existe f :XY contínua e única tal que f* = : Ci(Y) Ci(X) homomorfismo de álgebra contínuo
Existe um ponto pX tal que (f) = f(p) fC(X) : Ci(X)ℝ carácter de Ci(X) e contínuo
{∑ }
n
α i e p : n ∈ IN , α i ∈ IR e pi ∈ X =Eng ( e X )
i=1
i eX
C’i(X) = onde ={ep : pX}.
Por abuso de linguagem, diz-se que X é uma base do dual topológico C’i(X) de Ci(X).
Definição 13: Diz-se de um espaço topológico X que ele é subcósmico se e somente se existe
uma bijecção contínua de X num espaço métrico separável.
5) Fizemos uma abordagem axiomática da topologia da base irredutível em C(X), pode ser
realizado via filtros ou monóides ?
BIBLIOGRAFIA
1. ALEXANDROFF P.S. et HOPF H. 1935, Topologie I, Springer-Verlag, Berlin.
2. ARKHANGEL’SKII A.V. 1992, Topological Function Spaces, Kluwer Academic
Publishers, vol. 78, Dordrecht.
3. CHRISTENSEN J.P. R. 1974, Topology and Borel Structure, North-Holland,
Amsterdam.
4. ENGELKING R. 1989, General Topology, Heldermann.
5. GILLMAN L. and JERISON M. 1960, Rings of continuous functions Princeton, N.J.
6. KURATOWSKI K. 1966 and 1968, Topology, I and II, Academic Press and Polish
Scientific Publishers, New York and Warszawa,.
7. McCOY R.A. and NTANTU I. 1988, Topological Properties of Spaces of Continuous
Functions, Springer- Verlag, Berlin.
8. MUNKRES J.R. 1975, General topology, Prentice- Hall. Englewood cliffs, N.J.
9. SCHMETS J. 1976, Espaces de fonctions continues, Lecture Notes in Math. N°519,
Springer-Verlag, Berlin.
10. ARENAS F.G. 1999, Alexandroff Spaces , Acta Math. Univ. Comenianae, n°1,
Volume 68, 17-25.
11. DOBROWOLSKI T., GULKO S.P. and MOGILSKI J. 1990, Function spaces
homeomorphic to the countable product of `f 2 , Topology Appl. 34, 153–160.
12. EL-FATTAH EL-ATIK A., ABD EL-MONSEF M.E. and LASHIN E.I. 2002, On finite T0-
topological spaces, Proceed. 9th Prague Topological symposium, 75-90.
13. NTANTU I. 2010, La continuité dans les espaces d’Alexandroff, CRUPN, n°042, 281-
284.
14. OSAKI T. 1999, Reduction of Finite Topological Spaces, Interdisciplinary Information
Sciences, Vol 5, N°2, 149-155.
15. ROSTAMI N. 1995, A Topology with order, Graph and an enumeration problem,
Portugaliae Mathematica Vol 52, fasc.3.
16. RICHMOND B. 2008, Principal topologies and transformation semigroups, Top. And
Its Applic., n°155, 1644-1649.
17. SHIRAZI A.Z. and GOLESTANI N. 2011, Functional Alexandroff Spaces, Hacettepe J.
of Math and Statistics, Vol.40, 515-522.
18. STONG R.E.1966, Finite topological spaces, Trans. AMS., n° 123, 325-340.
19. VAN MILL J. 1987, Topological equivalence of certain function spaces, Compositio.
Math. 63, 159–188.
20. DE LA ROSE F.M. 1996, Compactificaciones en Espacios completamente Regulares,
Tesis de doctorado. Universidad de Cadiz, Espana.
21. GRAWERT P.W. 1998, Funciones de dimension en Espacios de Alexandroff, Tesis de
doctorado en Ciencias Matematicas. Universidad Autonoma Metropolitana, Mexico.
22. MAKAMBO K.B.Eustache 2013, « Sur les espaces d’Alexandroff de type fini et
applications », These de Doctorat, UPN.
23. MPAKASA K.D. 2011, « Sur quelques propriétés de C(X) muni de l’hypo-topologie »,
Mémoire DEA, UPN.