Clausura reflexiva

Clausura reflexiva

Sea R una relación binaria aplicada sobre un conjunto A, la clausura reflexiva o cierre reflexivo de \mathcal{R}, denotada CR(\mathcal{R}), es la relación reflexiva más pequeña aplicada sobre A\, que contiene a \mathcal{R}.

En otras palabras, CR(\mathcal{R}) es la relación binaria que verifica:

  1. \mathcal{R}\subseteq CR(\mathcal{R})
  2. CR(\mathcal{R}) es reflexiva
  3. Si \mathcal{R}' es una relación reflexiva tal que \mathcal{R}\subseteq \mathcal{R}', entonces CR(\mathcal{R})\subseteq \mathcal{R}'

Note que si \mathcal{R} es reflexiva, entonces CR(\mathcal{R})=\mathcal{R}.

Cómo calcularla

Si la relación está dada por su matriz booleana asociada, la clausura reflexiva se obtiene completando con 1 la diagonal principal.

1 0 1 0 1 0
0 1 0 1 0 1
1 0 1 0 1 0
0 1 0 1 0 1
1 0 1 0 1 0
0 1 0 1 0 1

Esta última sería la matriz asociada la clausura reflexiva. A partir de esta matriz la relación CR(\mathcal{R}) se construye trivialmente.

Véase también


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Clausura — puede referirse a: Cierre, por oposición a apertura o inauguración (especialmente en los actos solemnes). Clausura monástica o conventual. Matemáticas En matemáticas, la clausura o cerradura se refiere al mínimo conjunto que es cerrado bajo una… …   Wikipedia Español

  • Clausura transitiva — La clausura transitiva o cierre transitivo de una relación binaria es la relación binaria más pequeña que siendo transitiva contiene al conjunto de pares de la relación binaria original. La clausura transitiva de una relación se denotada . En… …   Wikipedia Español

  • Clausura simétrica — Sea R una relación binaria aplicada sobre un conjunto A, la clausura simétrica o cierre simétrico de R, denotada CS(R), es la relación simétrica más pequeña aplicada sobre A que contiene a R. En otras palabras, CS(R) es la relación binaria que… …   Wikipedia Español

  • Clausura de relación — En matemática, sea una relación R sobre un conjunto A, la clausura o cierre de R es la menor relación que contiene a R y cumple con una propiedad dada. Tales propiedades pueden ser la transitividad, reflexividad o simetría, en cuyo caso la… …   Wikipedia Español

  • Conjunto parcialmente ordenado — En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado (o poset, del inglés partially ordered set) es un conjunto equipado con una relación binaria de orden parcial. Ésta formaliza el concepto intuitivo de orden,… …   Wikipedia Español

  • Cierre — El término cierre puede referirse a: Diversos conceptos de la teoría de conjuntos Cierre o clausura simétrica Cierre o clausura de relación Cierre o clausura transitiva Cierre o clausura reflexiva Cierres o acoplamientos mecánicos Cierre eclair,… …   Wikipedia Español

  • Teoría del orden — La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo da una introducción detallada a este campo e incluye algunas de las… …   Wikipedia Español

  • encerrar — ► verbo transitivo 1 Meter a una persona o animal en un lugar de donde no puede salir: ■ encierra al perro en la habitación para que no se escape. SE CONJUGA COMO pensar ANTÓNIMO soltar 2 Guardar cosas en un lugar cerrado: ■ encerró su dinero en… …   Enciclopedia Universal

  • Diagrama de Hasse — Saltar a navegación, búsqueda Elementos de P( P( P(P({})))) en Diagrama de Hasse. En matemáticas, un diagrama de Hasse es una representación …   Wikipedia Español

  • Número natural — Los números naturales pueden usarse para contar (una manzana, dos manzanas, tres manzanas, …). Un número natural es cualquiera de los números que se usan para contar los elementos de un conjunto. Reciben ese nombre porque fueron los primeros que… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”