docoo
Relación
Se define una relación como: $$ f:(A \times B \times .... \times Z) \longrightarrow \{ V,F \} $$ Donde $A$ , $B$ ... $Z$ son conjuntos cualesquiera y ${ V,F }$ un conjunto con dos elementos, uno que dice si están en relación y otro que dice si no lo están,
Si $f(a_i \times b_j \times ... \times z_k) \longrightarrow V $ entonces están en relación. y si $f(a_i \times b_j \times ... \times z_k) \longrightarrow F $ entonces estos elementos no lo están.
el conjunto $ \{V,F\} $ también puede ser $ \{1,0\} $ .
Si están en relación se suele utilizar de modo abreviado $ \Re (a_i,b_i...z_k)$ o en caso contrario $ \not\Re (a_i,b_i...z_k)$

Reflexiva

2021-03-10

Sea una relación $f(A \times A ) \longrightarrow \{V,F\} $ diremos que es reflexiva si para todo elemento de a esta en relación consigo mismo. $$ \{ \forall a_i \in A \} f(a_i \times a_i) \rightarrow V $$

Simétrica

2021-03-11

Sea una relación $f(A \times A ) \longrightarrow \{V,F\} $ diremos que es simétrica si siendo dos elementos $a_i$ y $a_j$ elementos cualesquiera de $A$, si $a_i$ está en relación con $a_j$ implica que $a_j$ está en relación con $a_i$ $$ \{ \forall a_i, a_j \in A \} [ f(a_i \times a_j) \rightarrow V] \longrightarrow [ f(a_j \times a_i) \rightarrow V] $$

Transitiva

2021-03-11

Sea una relación $f(A \times A ) \longrightarrow \{V,F\} $ diremos que es transitiva si siendo tres elementos $a_i$ y $a_j$ $a_k$ elementos cualesquiera de $A$, si $a_i$ está en relación con $a_j$ y $a_j$ en relación con $a_k$ implica que $a_i$ está en relación con $a_k$ $$ \{ \forall a_i, a_j ,a_k \in A \} [ f(a_i \times a_j) \rightarrow V],[ f(a_j \times a_k) \rightarrow V] \longrightarrow [ f(a_i \times a_k) \rightarrow V] $$

Antisimétrica

2021-03-12

Sea una relación $f(A \times A ) \longrightarrow \{V,F\} $ diremos que es antisimétrica si para todo elemento de $a_i$ ,$a_j$ se cumple que si $a_i$ está en relación con $a_j$ entonces $a_j$ no está en relación con $a_i$ $$ \{ \forall a_i, a_j \in A \} [f(a_i \times a_j) \rightarrow V] \longrightarrow [f(a_j \times a_i) \rightarrow F] $$

Relación de equivalencia

2021-03-13

Una relación de equivalencia es aquella relación que cumple:

  1. Reflexiva.
  2. Simétrica.
  3. Transitiva.

Particionado de una relación

2021-03-15

Sea $A$ un conjunto sobre el que se ha definido una relación, si esta es de equivalencia genera unos subconjuntos dentro de $A$ bajo el criterio "dos elementos pertenecen al mismo subconjunto si y solo si están en relación "

Orden

2021-03-18

Un conjunto es ordenado, si sobre el se define una relación de orden, pero en función de las características de esta relación, se puede matizar entre distintos tipos de orden.

Cota

2021-03-19

Sea $A$ un conjunto sobre el que se ha definido una relación de orden, $B$ un subconjunto de $A$ diremos que $a \in A$ es una cota del subconjunto $B$ si cumple $a \Re b_i$ o $a \not\Re b_i$ siendo $b_i$ cualquier elemento de $B$.

Supremo

2021-03-20

Sea un conjunto A con un subconjunto $A_i \in A$, si $A_i$ está acotado superiormente a la menor de esas cotas superiores la llamaremos Supremo y se denota como $sup(A_i)$ si existe.

Ínfimo

2021-03-22

Sea un conjunto A con un subconjunto $A_i \in A$, si $A_i$ está acotado inferiormente a la mayor de esas cotas inferiores la llamaremos ínfimo y se denota como $inf(A_i)$ si existe.

Reticulado

2021-04-10

Un conjunto parcialmente ordenado con supremo e ínfimo de dice que es un reticulado.
Sean cuales sean dos elementos del conjunto $a, b$ estos tendrán un supremos y un ínfimo.

Máximo

2021-04-11

Sea $(A , \geq)$ un conjunto con una ley de orden, y B un subconjunto de A diremos que $b$ es un máximo en $B$ si cumple que es mayor o igual que cualquier elemento de $B$ $b_i \in B $.

El máximo no tiene por que existir.

--