To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Familia indexada

De Wikipedia, la enciclopedia libre

En matemáticas, una familia, o familia indexada,[1]​ es informalmente una colección de objetos, cada uno de ellos asociado con un índice de algún conjunto índice. Por ejemplo, una familia de números reales, indexada por el conjunto de los números enteros, es una colección de números reales, donde una función determinada selecciona un número real para cada número entero (posiblemente el mismo) como indexación.

Más formalmente, una familia indexada es una función matemática junto con su dominio y su imagen (es decir, las familias indexadas y las funciones matemáticas son técnicamente idénticas, solo que los puntos de vista son diferentes). A menudo se hace referencia a los elementos del conjunto como los que componen la familia. Desde esta visión, las familias indexadas se interpretan como colecciones de elementos indexados en lugar de funciones. El conjunto se denomina "conjunto índice" de la familia, y es el propio "conjunto indexado".

Las secuencias son un tipo de familias indexadas por números naturales. En general, el conjunto de índices no está restringido a ser numerable. Por ejemplo, se podría considerar una familia innumerable de subconjuntos de números naturales indexados por los números reales.

Definición formal

Sean los conjuntos y ; y sea una función tal que

donde es un elemento de y la imagen de bajo la función se denota por . Por ejemplo, se denota por El símbolo se utiliza para indicar que es el elemento de indexado por La función establece así una familia de elementos en indexados por que se denota por o simplemente si se supone que se conoce el conjunto de índices. A veces se utilizan corchetes angulares o llaves en lugar de paréntesis, aunque el uso de llaves implica el riesgo de confundir familias indexadas con conjuntos.

Las funciones y las familias indexadas son formalmente equivalentes, ya que cualquier función con un dominio induce una familia y viceversa. Ser elemento de una familia equivale a estar en el rango de la función correspondiente. En la práctica, sin embargo, la familia se considera una colección más que una función.

Cualquier conjunto da lugar a una familia donde está indexado por sí mismo (lo que significa que es la función de identidad). Sin embargo, las familias se diferencian de los conjuntos en que el mismo objeto puede aparecer varias veces con diferentes índices en una familia, mientras que un conjunto es una colección de objetos distintos. Una familia contiene cualquier elemento exactamente una vez si y solo si la función correspondiente es inyectiva.

Una familia indexada define un conjunto es decir, la imagen de bajo Dado que no es necesario que la aplicación sea inyectiva, puede existir con tal que Por lo tanto, , donde denota el cardinal del conjunto Por ejemplo, la secuencia indexada por los números naturales tiene el conjunto de imágenes Además, el conjunto no contiene información sobre ninguna estructura en Por lo tanto, al utilizar un conjunto en lugar de una familia, se podría perder parte de la información. Por ejemplo, un orden en el conjunto de índices de una familia induce un orden en la familia, pero no un orden en el conjunto de imágenes correspondiente.

Subfamilia indexada

Una familia indexada es una subfamilia de una familia indexada si y solo si es un subconjunto de y se aplica a todos los

Ejemplos

Vectores indexados

Por ejemplo, considérese la siguiente oración:

Los vectores son linealmente independientes.

Aquí, denota una familia de vectores. El -ésimo vector solo tiene sentido con respecto a esta familia, ya que los conjuntos están desordenados, por lo que no existe un -ésimo vector de un conjunto. Además, la independencia lineal se define como una propiedad de una colección; y por lo tanto, es importante si estos vectores son linealmente independientes como conjunto o como familia. Por ejemplo, si se considera y como el mismo vector, entonces el "conjunto" de ellos consta de un solo elemento (ya que el conjunto es una colección de elementos distintos desordenados) y es linealmente independiente, pero la familia contiene los mismos elementos dos veces (ya que está indexado de manera diferente) y es linealmente dependiente (los mismos vectores son linealmente dependientes).

Matrices

Supóngase que un texto afirma lo siguiente:

Una matriz cuadrada es invertible si y solo si las filas de son linealmente independientes.

Como en el ejemplo anterior, es importante que las filas de sean linealmente independientes como familia, no como conjunto. Por ejemplo, considérese la matriz:

El conjunto de las filas consta de un solo elemento ya que un conjunto está formado por elementos únicos, por lo que es linealmente independiente, pero la matriz no es invertible, ya que su determinante es 0. Por otro lado, la familia de las filas contiene dos elementos indexados de manera diferente, como la primera fila y la segunda fila , por lo que es linealmente dependiente. Por lo tanto, la afirmación es correcta si se refiere a la familia de filas, pero incorrecta si se refiere al conjunto de filas. La afirmación también es correcta cuando se interpreta que "las filas" se refieren a un multiconjunto, en el que los elementos también se mantienen distintos pero que carece de parte de la estructura de una familia indexada.

Otros ejemplos

Sea el conjunto finito donde es un número entero positivo.

  • Un par ordenado (2-tupla) es una familia indexada por el conjunto de dos elementos, cada elemento del par ordenado está indexado por cada elemento del conjunto
  • Una -tuple es una familia indexada por el conjunto
  • Una secuencia infinita es una familia indexada por los números naturales.
  • Una lista es una -tupla para un no especificado o una secuencia infinita.
  • Una matriz de orden es una familia indexada por el producto cartesiano , cuyos elementos son pares ordenados (por ejemplo, indexa el elemento de la matriz en la segunda fila y la quinta columna).
  • Una red es una familia indexada por un conjunto dirigido.

Operaciones sobre familias indexadas

Los conjuntos de índices se utilizan a menudo en sumas y otras operaciones similares. Por ejemplo, si es una familia indexada de números, la suma de todos esos números se denota por

Cuando es una familia de conjuntos, la unión de todos esos conjuntos se denota por

Lo mismo ocurre con la intersección y el producto cartesiano.

Uso en teoría de categorías

El concepto análogo en teoría de categorías se llama diagrama. Un diagrama es un funtor que da lugar a una familia indexada de objetos en una categoría C, indexados por otra categoría J y relacionados por morfismos dependientes de dos índices.

Véase también

Referencias

  1. K. D. Joshi (1983). Introduction to General Topology. New Age International. pp. 35 de 412. ISBN 9780852264447. Consultado el 5 de diciembre de 2023. 

Bibliografía

  • Mathematical Society of Japan, "Encyclopedic Dictionary of Mathematics" (Diccionario Enciclopédico de Matemáticas), 2.ª edición, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. Citado como EDM (volumen).
Esta página se editó por última vez el 2 mar 2024 a las 18:21.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.