Topologa de nmeros complejos,

Teniendo en cuenta que para la estudio analtico y funcional de un conjunto H, en

Matemticas, es imprescindible que est definida una TOPOLOGA T = T(H), donde T es un conjunto de subconjuntos de Partes(H) denominados abiertos, que cumplen: 1.- T y H T. 2.- La unin de abiertos es un abierto. 3.- La interseccin finita de abiertos es un abierto. La topologa usual del conjunto de los nmeros complejos , est generada por los conjuntos: E z 0 , ={ z : z z 0 , , 0 } Denominados ENTORNOS de centro z0 y radio . Algunos resultado importantes, que debemos conocer:

Para referirnos a un entorno cualquiera de z0 , denotamos por E (z 0 ). Se denomina Entornos reducido de zo y de radio r a E z 0 , = E z 0 , { z o } . z 0 es un punto lmite o de acumulacin de un conjunto S ( S ) , cuando r > 0
E z 0 , S

A es un Conjunto abierto, si A = o si para a A E(a,r) A. S es un Conjunto cerrado, si S contiene todos sus puntos de acumulacin.
Si S es un conjunto cerradoS es un conjunto abierto. Donde:

S es tal que S S = y S S = .

El mnimo conjunto cerrado que contiene a S se denota por [S] (clausura de S).

S es un Conjunto acotado M :z M , z S S es un Conjunto acotado si y solo si es cerrado y acotado. z 0 es un punto interior de S si entorno E(z0 ,r) S. z 0 es un punto frontera de S cuando r > 0:
E z 0 , S y E z 0 , S

z 0 es un punto exterior de S si entorno E(z0 ,r) S. Un conjunto S es abierto si est formado slo por puntos interiores. S es CONEXO si para z1, z2 S una poligonal conexa incluida en S. S es Dominio si S es abierto y conexo.
Si S : Acu(S) es el conjunto de los puntos de acumulacin de S.

Si S : [S]= S Acu(S).

 Denotamos por AFIJO de z = a + b., al par (a,b) que representamos por z(a,b) y cuyas
coordenadas son tiles para representar geomtricamente nmeros complejos en el plano y viceversa. # Ejemplo: Si S = { z : | z 3 | 3 } . Se tiene que S es un conjunto cerrado y acotado. Adems: INT (S) = { z : | z 3 | < 3 } FRONT (S) = { z : | z 3 | = 3 }. Adems, S es conexo y Acum (S) = [S] = S.

Sea el anillo R[x] de polinomios con una indeterminada x y con coeficientes reales, y
sea I = (1+x2) el ideal engendrado por el polinomio 1+x2. El anillo cociente R[x]/(1+x2) es isomorfo al cuerpo de los nmeros complejos. Ya que: I = { (1+x2).p(x) : p(x) A }. Y para cada [q(x)] R[x]/(1+x2), con q(x) R[x] es de la forma: [q(x)] = q(x) + I. Si H(x) [q(x)], tenemos que existe p(x) A tal que: H(x)/ (x2+1) = [Q(x)+(1+x2).p(x)] / (x2+1) = a+bx+ I. Donde a+bx es a lo sumo de grado uno, y est unvocamente determinado por q(x) = a+bx, ya que es el resto de su divisin por (1+x2). Luego la clase [q(x)] admite un representante y uno solo de la forma a+bx+ I. As pues, [q(x)] = [a+bx]. Esto nos lleva a definir la aplicacin: f: R[x]/(1+x2) : a+bi f(a+bi) = [a+bx]. Adems de la definicin, se deduce: f(a) = [a] para a R. Y como [a+bx] = [a] + [b] [x]. Resulta: f(a+b i) = f(a) + f(b)i. Que nos permite comprobar fcilmente que f es un homomorfismo de anillos. Adems, como f(i) = [x]

es un cuerpo R[x]/(1+x2) tambin lo ser y la aplicacin f es entonces un isomorfismo del cuerpo sobre el cuerpo R[x]/(1+x2).