Digamos que tengo un conjunto . Ahora necesito acceder, digamos, al elemento de . ¿Cómo logro esto?
Sé que los conjuntos son una lista desordenada de elementos, pero necesito acceder a los elementos de un conjunto. ¿Puedo lograr esto con una tupla? Como , debo escribir para acceder al i-ésimo elemento de ? ¿O hay alguna otra notación?
Si tengo una lista de elementos, ¿cuál es el mejor objeto matemático para representarla y poder acceder libremente a sus elementos y cómo? En programación, usaría
arrays
.
Está hablando del operador de índice que a menudo se encuentra en la programación cuando se usan matrices. Dado que los conjuntos no están ordenados, no tiene sentido hacer esto con conjuntos, ya que .
Probablemente quieras usar una tupla , que es solo una secuencia (finita) de elementos, y se denota como escribiste . Si es una tupla, entonces creo que la forma más común de indexarlo es usar subíndices, por lo que y y así sucesivamente, aunque a veces se ve y también, ya que uno puede pensar en como una función del conjunto a . De vez en cuando, uno incluso ve y . Realmente, lo que importa es que sea coherente y claro en la forma en que escribe la indexación.
En un conjunto general no hay indexación, excepto la trivial: un conjunto está indexado por sí mismo, es decir, dónde .
De hecho, en la teoría de conjuntos sin el axioma de elección, puede haber conjuntos que son imposibles de "indexar bien", aunque, por supuesto, esto requiere trabajo para ser preciso.
Entonces, la tarea general que describe es trivial (si permite que un conjunto se indexe a sí mismo) o imposible.
Dicho esto, en contextos restringidos podemos hacerlo mejor. Por ejemplo, supongamos que buscamos exclusivamente conjuntos finitos de números reales . Entonces cualquier conjunto de este tipo está naturalmente ordenado por cardinalidad, es decir, podemos hablar del el elemento más pequeño de un conjunto.
El hecho de que un conjunto esté "desordenado" por definición no le impide definir un orden en él. De hecho, por el Axioma de Elección, cualquier conjunto puede ser indexado por un número ordinal.
Dan óxido
Zir
Zir
Zir