Relación n-aria

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En matemáticas y lógica, una relación n-aria R (o a menudo simplemente relación) es una generalización de la relación binaria, donde R está formada por una tupla de n términos:

Un predicado n-ario: es una función a valores de verdad de n variables.

Debido a que una relación como la anterior define de manera única un predicado n-ario que vale para si y sólo si está en , y viceversa, la relación y el predicado se denotan a menudo con el mismo símbolo. Así pues, por ejemplo, las dos proposiciones siguientes se consideran como equivalentes:

Ejemplo[editar]

La siguiente relación, definida sobre el conjunto N de los números naturales, es n-aria, pues posee n términos:

La relación dice que cada uno de los términos es mayor que el anterior. El valor de n es un parámetro fijo, que se puede explicitar, o bien dejar como genérico, para describir un caso general.

Subtipos[editar]

Las relaciones se clasifican según el número de conjuntos en el producto cartesiano; en otras palabras, el número de términos en la expresión:

Las relaciones con más de 4 términos generalmente se llaman n-arias; por ejemplo "una relación 5-aria".

Véase también[editar]

Referencias[editar]

Bibliografía[editar]

  • Bourbaki, N. (1994) Elements of the History of Mathematics, John Meldrum, trans. Springer-Verlag.
  • Halmos, P.R. (1960) Naive Set Theory. Princeton NJ: D. Van Nostrand Company.
  • Lawvere, F.W., and R. Rosebrugh (2003) Sets for Mathematics, Cambridge Univ. Press.
  • Suppes, Patrick (1960/1972) Axiomatic Set Theory. Dover Publications.
  • Tarski, A. (1956/1983) Logic, Semantics, Metamathematics, Papers from 1923 to 1938, J.H. Woodger, trans. 1st edition, Oxford University Press. 2nd edition, J. Corcoran, ed. Indianapolis IN: Hackett Publishing.
  • Ulam, S.M. (1990) Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators in A.R. Bednarek and Françoise Ulam, eds., University of California Press.