14 votos

Notación y elección de nombre para meet and join (en teoría del orden)

Tengo dos preguntas sencillas:

  1. ¿De dónde proceden los nombres reunirse y participar ¿De dónde viene? No veo ninguna intuición entre esos nombres en el contexto de la teoría del orden.

  2. ¿De dónde procede la notación? Tengo que admitir que siempre he tenido la impresión de que la notación que utilizamos es un poco al revés... ¡sólo hay que ver la foto de la wikipedia!

He utilizado esta notación muchas veces y tengo que admitir que a menudo tengo que pararme un minuto y convencerme de que, efectivamente, la estoy utilizando bien. Espero que aprender un poco sobre el origen y el contexto de la elección del nombre y la notación lo haga más fácil.

16voto

bof Puntos 19273

Creo que los términos conozca y únase a proceden de la teoría de celosías. Al fin y al cabo, una celosía puede definirse como un conjunto parcialmente ordenado en el que dos elementos cualesquiera tienen un encuentro y una unión. En la práctica, una red suele ser una colección de conjuntos "cerrados" (con respecto a algún tipo de cierre algebraico) ordenados por inclusión de conjuntos; ejemplos típicos serían la red de todos los subgrupos de un grupo o la red de todos los subespacios de un espacio vectorial.

Consideremos la red de subespacios de un espacio vectorial. La dirección conozca de dos subespacios es su intersección set-teórica; por ejemplo, para dos $2$ -subespacios dimensionales de $\mathbb R^3$ su conozca es la línea donde los dos planos conozca . En únase a de dos subespacios es lo que obtenemos cuando los dos subespacios únase a para formar un subespacio mayor; en general, no se trata sólo de la unión teórica de conjuntos, sino del tramo lineal de la unión.

También querías saber dónde están los símbolos $\vee$ y $\wedge$ vienen de. No lo sé, pero supongo que se derivan de los símbolos $\cup$ y $\cap$ para la unión y la intersección, las operaciones de retículo en el retículo de todos los subconjuntos de un conjunto. En cuanto a los símbolos $\cup$ y $\cap$ Mi suposición más descabellada es que son versiones estilizadas de las letras u (de unión) y n (de intersección). Y si esa no es la verdadera historia, es suficiente para una mnemotecnia, ¿no?

2voto

user87690 Puntos 3831

Para mí, hay más pares de operaciones similares: intersección y unión para los conjuntos, y y o en la lógica. conozca y únase a son abstracciones de estos pares y, por tanto, tienen nombres abstractos. En el contexto de los entramados algebraicos son las operaciones primitivas, en el contexto equivalente de la teoría de órdenes son los nombres para inf y sup de dos elementos. Obsérvese también la similitud de los símbolos de las operaciones $∧, ∨, ∩, ∪$ y en conexión símbolos de orden $<, >, ⊂, ⊃$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X