En matemáticas , una relación finita sobre una secuencia de conjuntos X 1 , ..., X n es un subconjunto del producto cartesiano X 1 × ... × X n ; es decir, es un conjunto de n -tuplas ( x 1 , ..., x n ) , siendo cada una una secuencia de elementos x i en el correspondiente X i . [1] [2] [3] Normalmente, la relación describe una posible conexión entre los elementos de una n -tupla. Por ejemplo, la relación " x es divisible por y y z " consiste en el conjunto de 3-tuplas tales que cuando se sustituyen por x , y y z , respectivamente, hacen que la oración sea verdadera.
El entero no negativo n que da el número de "lugares" en la relación se llama aridad , adicidad o grado de la relación. Una relación con n "lugares" se llama de diversas formas relación n -aria , relación n -ádica o relación de grado n . Las relaciones con un número finito de lugares se denominan relaciones finitarias (o simplemente relaciones si el contexto es claro). También es posible generalizar el concepto a relaciones infinitarias con secuencias infinitas . [4]
Cuando dos objetos, cualidades, clases o atributos, vistos juntos por la mente, se ven bajo alguna conexión, esa conexión se llama relación.
—Augusto De Morgan [5]
Dado que la definición se basa en los conjuntos subyacentes X 1 , ..., X n , R puede definirse más formalmente como la ( n + 1 )-tupla ( X 1 , ..., X n , G ) , donde G , llamado gráfico de R , es un subconjunto del producto cartesiano X 1 × ... × X n .
Como se hace a menudo en matemáticas, se utiliza el mismo símbolo para referirse al objeto matemático y a un conjunto subyacente, por lo que la afirmación ( x 1 , ..., x n ) ∈ R se utiliza a menudo para significar ( x 1 , ..., x n ) ∈ G se lee " x 1 , ..., x n están relacionados con R " y se denotan utilizando la notación de prefijo por Rx 1 ⋯ x n y utilizando la notación de posfijo por x 1 ⋯ x n R . En el caso en que R sea una relación binaria, esas afirmaciones también se denotan utilizando la notación de infijo por x 1 Rx 2 .
Se aplican las siguientes consideraciones:
Sea un dominio booleano B un conjunto de dos elementos, digamos, B = {0, 1} , cuyos elementos pueden interpretarse como valores lógicos, típicamente 0 = falso y 1 = verdadero . La función característica de R , denotada por χ R , es la función de valor booleano χ R : X 1 × ... × X n → B , definida por χ R ( ( x 1 , ..., x n ) ) = 1 si Rx 1 ⋯ x n y χ R ( ( x 1 , ..., x n ) ) = 0 en caso contrario.
En matemáticas aplicadas, informática y estadística, es habitual referirse a una función con valor booleano como un predicado n -ario . Desde el punto de vista más abstracto de la lógica formal y la teoría de modelos , la relación R constituye un modelo lógico o una estructura relacional , que sirve como una de las muchas interpretaciones posibles de algún símbolo de predicado n -ario.
Debido a que las relaciones surgen en muchas disciplinas científicas, así como en muchas ramas de las matemáticas y la lógica , existe una variación considerable en la terminología. Aparte de la extensión de la teoría de conjuntos de un concepto o término relacional, el término "relación" también puede usarse para referirse a la entidad lógica correspondiente, ya sea la comprensión lógica , que es la totalidad de intenciones o propiedades abstractas compartidas por todos los elementos de la relación, o bien los símbolos que denotan estos elementos e intenciones. Además, algunos escritores de esta última tendencia introducen términos con connotaciones más concretas (como "estructura relacional" para la extensión de la teoría de conjuntos de un concepto relacional dado).
Las relaciones nulas (0-arias) cuentan solo con dos miembros: la relación nula vacía, que nunca se cumple, y la relación nula universal, que siempre se cumple. Esto se debe a que solo hay una tupla 0, la tupla vacía (), y hay exactamente dos subconjuntos del conjunto (singleton) de todas las tuplas 0. A veces son útiles para construir el caso base de un argumento de inducción .
Las relaciones unarias (1-arias) pueden verse como una colección de miembros (como la colección de premios Nobel ) que tienen alguna propiedad (como la de haber recibido el premio Nobel ).
Toda función nularia es una relación unaria.
Las relaciones binarias (2-arias) son la forma más comúnmente estudiada de relaciones finitas. Las relaciones binarias homogéneas (donde X 1 = X 2 ) incluyen
Las relaciones binarias heterogéneas incluyen
Las relaciones ternarias (3-arias) incluyen, por ejemplo, las funciones binarias , que relacionan dos entradas y la salida. Los tres dominios de una relación ternaria homogénea son el mismo conjunto.
Consideremos la relación ternaria R " x piensa que y le gusta z " sobre el conjunto de personas P = {Alice, Bob, Charles, Denise} , definida por:
R se puede representar de forma equivalente mediante la siguiente tabla:
Aquí, cada fila representa un triple de R , es decir, hace una afirmación de la forma " x piensa que a y le gusta z ". Por ejemplo, la primera fila dice que "Alice piensa que a Bob le gusta Denise". Todas las filas son distintas. El orden de las filas es insignificante, pero el orden de las columnas es significativo. [1]
La tabla anterior es también un ejemplo simple de una base de datos relacional , un campo con teoría arraigada en el álgebra relacional y aplicaciones en la gestión de datos. [6] Sin embargo, los científicos informáticos, los lógicos y los matemáticos tienden a tener diferentes concepciones de lo que es una relación general y en qué consiste. Por ejemplo, las bases de datos están diseñadas para tratar con datos empíricos, que son por definición finitos, mientras que en matemáticas también se consideran las relaciones con aridad infinita (es decir, relación infinitaria).
El lógico Augustus De Morgan , en una obra publicada alrededor de 1860, fue el primero en articular la noción de relación en un sentido similar al que tiene hoy en día. También expuso los primeros resultados formales en la teoría de las relaciones (sobre De Morgan y las relaciones, véase Merrill 1990).
Charles Peirce , Gottlob Frege , Georg Cantor , Richard Dedekind y otros desarrollaron la teoría de las relaciones. Muchas de sus ideas, especialmente sobre las relaciones llamadas órdenes , se resumieron en Principios de las matemáticas (1903), donde Bertrand Russell hizo uso libre de estos resultados.
En 1970, Edgar Codd propuso un modelo relacional para bases de datos , anticipándose así al desarrollo de los sistemas de gestión de bases de datos . [1]