Red (matemática)

Red (matemática)

Red (matemática)

En matemática, una red es la generalización del concepto de sucesión, de tal manera que no necesariamente tenga una cantidad numerable de elementos. Es el concepto más adecuado (o también su equivalente de filtro) para estudiar la convergencia en un espacio topológico.

Contenido

Definición.

Conjunto dirigido.

Un conjunto dirigido es un par (D,\sim) en el que D es un conjunto y \sim es una relación en D que verifica las tres siguientes propiedades:

  1. \forall x \in D, x \sim x (propiedad reflexiva).
  2. \forall x,y \in D tales que x \sim y e y \sim x \,\!, se cumple entonces que x = y \,\! (propiedad antisimetrica).
  3. \forall x,y,z \in D tales que x \sim y e y \sim z, se cumple entonces que x \sim z (propiedad transitiva).
  4. \forall x,y \in D \exist z \in D tal que x \sim z e y \sim z.

Usualmente, la relación \sim se lee como "menor igual" (en forma intuitiva).

En particular, todo conjunto totalmente ordenado es un conjunto dirigido. Un ejemplo importante de conjunto dirigido es N_{x_0}, el conjunto de las vecindades de un punto x0 en un espacio topológico, dotado de la relación de inclusión, donde un conjunto se dirá "mayor" que otro si está incluido en él.

Red.

Una red en un conjunto X no es más que una aplicación r: (D,\sim) \longrightarrow X entre un conjunto dirigido (D,\sim) y un conjunto X. Se suele representar por (x_d)_{d \in D}, donde xd: = r(d).

Subred

Tal como en el contexto de sucesiones hay una noción de subsucesiones, en el concepto de redes también hay un concepto similar. Así, decimos que \{y_b\}_{b\ in E} es una subred de \{x_a\}_{a\in D} (donde D,E son conjuntos dirigidos) si y solo si existe una función f: (E) \longrightarrow D que verifica las siguientes dos propiedades:

  1. \forall a \in D, \exists b \in E tal que  \forall b' \in E, b \sim b', a \sim f(b')
  2. \forall b\in E, y_b = x_{f(b)}

La primera condición refleja la idea intuitiva de que la sub-red se "vaya a infinito" junto con la red, mientras que la segunda es simplemente pedir que los puntos que tome sean efectivamente puntos de la red.

Es fácil ver que toda subred de una red es también una red.

Convergencia.

Límite de una red.

Sea (X,T) un espacio topológico y (x_d)_{d \in D} una red en X. Se dice que x \in X es un punto límite de la red (x \in \lim_{d \in D} x_d) si la red está eventualmente en cada entorno de x, es decir, si cualquiera que sea el entorno V de x (esto es, cualquiera que sea el conjunto V de forma que exista un abierto G tal que x \in G \subset V) existe un d_0 \in D de tal forma que para cada d \in D con d_0 \sim d se cumple que x_d \in V.

De la propia definición se desprenden de forma inmediata dos consecuencias:

  1. El límite de una red no siempre ha de existir. Existen redes que carecen de límite.
  2. En caso de existir, el límite de una red no necesariamente es un único elemento, sino que es un conjunto de elementos. En el caso de espacios topológicos con la propiedad de Hausdorff (i.e., T2), el límite, si existe, se reduce a un único punto.
  3. Toda sub-red de una red convergente converge al mismo límite que la red

Punto de Acumulación

Bajo el mismo contexto anterior, se dice que una red \{x_d\}_{d\in D} tiene como punto de acumulación (o acumula en) x\in X si la red está frecuentemente en cada entorno de x, es decir, si para todo V entorno de x, y para todo d \in D, \exists d'\in D, d\sim d' tal que x_{d'} \in V.

Es fácil ver que toda red convergente tiene a su límite como punto de acumulación. Se cumple además que x es punto de acumulación de una red si y solamente si existe una sub-red que converge a x. En este punto se encuentra la primera gran diferencia con sucesiones: una sucesión (que en particular es una red) tiene a x\in X como punto de acumulación si y solo si existe una sub-red que tienda a x, pero esta sub-red no tiene porqué ser una sucesión también.

Aplicaciones

Continuidad

Así como en espacios métricos existe una caracterización de la continuidad mediante sucesiones, en espacios topólogicos generales esta caracterización se hace mediante redes. Así, se cumple que si (X,\mathcal{T}_1), (Y,\mathcal{T}_2) \, son dos espacios topológicos, g: X\longrightarrow Y será continua en el punto x_0 \in X si y solamente si para toda red \{x_d\}_{d\in D}\longrightarrow x_0, se cumple que g(x_d)\longrightarrow g(x_0)

Compacidad

Así como en espacios métricos se tiene que (X,\mathcal{T}) es compacto si y solo si toda sucesión tiene un punto de acumulación, en espacios más generales se tiene el mismo resultado, pero con redes, es decir, (X,\mathcal{T}) será compacto si y solo si toda red tiene un punto de acumulación.

Notar que en espacios métricos, casi todo lo que se puede hacer con redes también se puede hacer con sucesiones, y como estas últimas son más fáciles de manipular, usualmente se trabaja con ellas. Sin embargo, en espacios topológicos generales, las redes pueden ser de gran utilidad.

Ejemplos.

El ejemplo más inmediato de red es el concepto de sucesión. En ellas, el conjunto dirigido es el conjunto de los números naturales con la relación de orden usual. Esto es así porque el conjunto de los números naturales con el orden usual es un conjunto totalmente ordenado.

Otro ejemplo esencial es el de función de variable real. En efecto, como el conjunto de los números reales junto con el orden usual es un conjunto totalmente ordenado, una función de variable real es una red.

Estos dos ejemplos son lo suficientemente importantes como para justificar el estudio de las redes.

Obtenido de "Red (matem%C3%A1tica)"

Wikimedia foundation. 2010.

См. также в других словарях:

  • Red — Saltar a navegación, búsqueda El término red puede referirse a: Cuando se pretende unir entre sí un gran número de usuarios, lo cual resulta difícil por cuestiones fundamentalmente económicas la unión de todos con todos de forma directa. Dícese… …   Wikipedia Español

  • Red de espín — Saltar a navegación, búsqueda Red de espín del tipo de las usadas en gravedad cuántica de lazos. En física, una red de espín es un tipo de diagrama que puede usarse para representar estados e interacciones entre partículas y campos. Fue ideada… …   Wikipedia Español

  • Red neuronal artificial — perceptrón simple con n neuronas de entrada, m neuronas en su capa oculta y una neurona de escape. Las redes de neuronas artificiales (denominadas habitualmente como RNA o en inglés como: ANN [1] ) so …   Wikipedia Español

  • Red de mundo pequeño — Saltar a navegación, búsqueda Las redes de mundo pequeño permiten conectar dos nodos con relativamente pocos saltos entre ellos. En la ilustración puede verse una red que sigue el modelo Watts Strogatz En matemática y física una red de mundo… …   Wikipedia Español

  • Red de Petri — Saltar a navegación, búsqueda Una Red de Petri es una representación matemática de un sistema distribuido discreto. Las redes de Petri fueron definidas en los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que… …   Wikipedia Español

  • Red de flujo — Saltar a navegación, búsqueda Entendiendo una red de flujo como un grafo dirigido, donde la fuente es quien produce o inicia el traspaso de algún material o producto por los arcos, estos últimos, vistos como caminos o conductos y tomando en… …   Wikipedia Español

  • Red de Petri — Una red de Petri es una representación matemática de un sistema distribuido discreto. Las redes de Petri fueron definidas en los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que permite expresar eventos… …   Enciclopedia Universal

  • Real Sociedad Matemática Española — La Real Sociedad Matemática Española (RSME) es una asociación cuyos fines, tal como se recogen en sus estatutos, son la promoción y divulgación de la Ciencia Matemática y sus aplicaciones y el fomento de su investigación y de su enseñanza en… …   Wikipedia Español

  • Filtro (matemática) — Saltar a navegación, búsqueda En matemática, y específicamente en teoría del orden, retículos y topología, un filtro es un subconjunto especial de un conjunto parcialmente ordenado. Un caso especial utilizado con frecuencia es cuando el conjunto… …   Wikipedia Español

  • Variedad (matemática) — En una esfera, la suma de los ángulos de un triángulo no es igual a 180°, pues una esfera no es un espacio euclídeo. Sin embargo, localmente, las leyes de la geometría euclídea son buenas aproximaciones. Este ejemplo ilustra cómo la esfera puede… …   Wikipedia Español


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»