Par ourdenado

Antuitibamente, un par ourdenado cunsiste de dous eilemientos, dígamos a i b, de ls quales un, dígamos a, ye zeignado cumo purmeiro eilemiento i l'outro cumo segundo eilemiento. Un par ourdenado ye zeignado por .
dous pares ourdenados  i  son eiguales se, i solamente se,  i 

 ↔  i 

S 1: ls pares ourdenados  i  son defrentes.

S 2: pares ourdenados puoden tener ls purmeiros i segundos eilemientos idénticos tales cumo:
 i  

L cunjunto de todos ls pares ourdenados ne ls quales l purmeiro eilemiento ben de l cunjunto X i l segundo de l cunjunto Y ye chamado de Perduto cartesiano de X i Y.

 Repersentaçon gráfica dun Par Ourdenado 
Podemos repersentar un par ourdenado atrabeç dun punto nun praino, esse punto ye chamado de eimaige de l par ourdenado.
Ls númaros de l par ourdenados son chamados cordenadas cartesianas. 
Chamamos de abscissa l 1º eilemiento de l par ourdenado, i ourdenada, l 2º eilemiento desse par. assi  denota l punto P cun abscissa x i ourdenada y. 

 Listas ourdenadas 
Triplas ourdenadas i listas ourdenadas puoden ser defenidos recursibamente a partir de la defeniçon de par ourdenado: ua tripla ourdenada  puode ser defenido cumo  ó cumo ; ó seia, un par ourdenado que cuntén outro par ourdenado cumo eilemiento.

Esta abordaige ye adotada an lenguaiges de porgramaçon: Ye possible repersentar ua lista d'eilemientos cumo ua custruçon de pares ourdenados amarrados. Por eisemplo, la lista (1 2 3 4 5) torna-se (1, (2, (3, (4, (5, {}))))).

La lenguaige de porgramaçon Lisp usa estas listas cumo sue strutura de dados purmária.

Cun base na defeniçon arriba, tenemos la seguite gramática:

  <parOrd> ::= <tupla2>
  <tupla2> ::= '(' <eilen> ',' <eilen> ')' 
  <eilen>  ::= <termo> | <tupla2>
  <termo>  ::=  a | b |…| z |…

Adonde tupla2 repersenta ua tupla cun dous argumientos, eilen ls eilemientos (termo ó tupla) i termo ye un eilemiento treminal.

 Pares ourdenados na teorie de ls cunjuntos 
La propiadade caratelística de ls pares ourdenados mencionada an seçon anterior cuntén todo que ye necessairo para cumprender la maneira cumo ls pares ourdenados son ousados na matemática. Antretanto, tenendo an bista ls fundamientos de la matemática bamos spressar la defeniçon de cada tipo d'oubjeto matemático an tenermos de ls cunjuntos. esta defeniçon, ne l causo de ls pares ourdenados puode ser feita de baries formas.

la noçon de pares ourdenados ye crucial pa la defeniçon de perduto cartesiano i relaçon.

 La defeniçon de Wiener 
Norbert Wiener propós la purmeira defeniçon de pares ourdenados na teorie de ls cunjuntos an 1914:

El ouserbou qu'esta defeniçon permitie spressar todos tipos qu'aparecen ne l Principia Mathematica usando solo cunjuntos.

 La defeniçon padron de Kuratowski 
Na teorie axiomática de ls cunjuntos, l par ourdenado  ye normalmente defenido pul par de Kuratowski ( que ye bien básico, porque requer solo poucos axiomas para poder ser formulado, a saber. (l'axioma de la stenson, l'axioma de la separaçon i l'axioma de l par):

L'afirmaçon de que x ye l purmeiro eilemiento dun par ourdenado p puode anton ser formulada cumo: 
 ( ∀ Y ∈ p ) ( x ∈Y )
i l'afirmaçon que x ye l segundo eilemiento de p puode ser formulada cumo:
 ( ∃ Y ∈ p ) ( x ∈ Y ) ∧ (∀ Y1 ∈ p, ∀ Y2 ∈ p ) ( Y1 ≠ Y2 → ( x ∉ Y1 ∨ x ∉ Y2 )).

Note qu'essa defeniçon inda ye bálida pa l par ourdenado p = (x,x) = { {x}, {x,x} } = { {x}, {x} } = { {x} }; neste causo la declaraçon (∀ Y1 ∈ p, ∀ Y2 ∈ p : Y1 ≠ Y2 → (x ∉ Y1 ∨ x ∉ Y2)) ye trebialmente berdadeira, zde que nunca acuntece de que Y1 ≠ Y2.

 Bariaçones de la defeniçon 
La defeniçon arriba dun par ourdenado ye “adequada”, ne l sentido de que sastifaç la propiadade caratelística qu'un par ourdenado debe tener. (a saber: se , anton  i ), mas tamien arbitrária, porque hai muitas outras defeniçones que nun son mais cumplicadas i tamien serien adequadas. Eisemplos para outras defeniçones possibles ancluen 

1.  ambertido: = 

2.  cúrtio: = {a, {a, b}} 

3.  01: = 

L par “ambertido” quaije nunca ye ousado, porque nun ten nanhue bantaige óbbia (nin zbantaiges) subre l par usual de Kuratowski. L par “cúrtio” ten la zbantaige de que la demunstraçon de la propiadade caratelística de l par (ber arriba) ye mais cumplicada de l que pa l par de Kuratowski (l'axioma de la regularidade ten que ser ousado); para alhá desso, ua beç l númaro 2 na teorie de ls cunjuntos i a las bezes defenido cumo l cunjunto , esto seneficarie que 2 ye l par (0.0) cúrtio.

 Probando la propiadade caratelística de l par de Kuratowski 
Probar:  se i solamente se  i .

Se a=b:  = {{a}, {a, a}} = { {a} }, i  = {{c}, {c, d}} = { {a} }. Assi {c} = {a} = {c, d}, ó . Se a≠b, anton . Se {c, d} = {a}, anton c=d=a ó . Se {c} = {a, b}, anton a=b=c, que cuntradiç a≠b. Cunsequentemente {c} = {a}, ó c=a, i {c, d} = {a, b}. I se d=a, anton {c, d} = {a, a} = {a} ≠ {a, b}. Assi d=b. Assi a=c i b=d. Ambersamente, se a=c i b=d, anton . Assi . 

Ambertido: (a, b) Ambertido =  = . Se (a, b) ambertido = (c, d) ambertido, . Cunsequentemente b=d i a=c. Ambersamente, se a=c i b=d, anton . Assi (a, b) ambertido = (c, d) ambertido.

 La defeniçon de Quine-Rosser 
Rosser (1953) usou stensibamente ua defeniçon de par ourdenado debido la Willard ban Orman Quine. La defeniçon de Quine-Rosser requer ua defeniçon prébia de ls númaros naturales tal cumo la seguinte:
Tome Nn cumo l cunjunto de ls númaros naturales, i defina



φ(x) cunten l sucessor de cada númaro natural an x, junto cun todos ls númaros nun naturales de x. an particular, φ(x) nun cunten l númaro 0, de modo que para alguns cunjuntos A i B, 

.

Defenir l par ourdenado (A, B) por 0 sendo cuntíguo cun cada eilemiento de l φ(B), formando anton a l'ounion de l resultado cun φ (A):

Straindo todos ls eilemientos de l par que nun cunténen 0 tenemos A. De l mesmo modo, B puode ser recuperado straindo todos ls eilemientos de l par que cunténen 0. 

Esta defeniçon de par ourdenado ten ua única bantaige. Na teorie de ls tipos, i an teories de ls cunjuntos tales cumo New Foundationes que surge a partir de la teorie de ls tipos, este par ye de l mesmo tipo que sues projeçones. 

Antoce, ua funçon defenida cumo un cunjunto de pares ourdenados, ten un tipo maior solo por 1 de l que l tipo de sues projeçones. Para ua çcusson stensa de pares ourdenados ne l cuntesto de las teories de ls cunjuntos quineanas ó " a la la Quine", ber Holmes (1998).

 Defeniçon de Morse 
La teorie de ls cunjuntos de Mose-Kelley, defenida por Morse an 1965, faç libre uso de classes própias. Morse defeniu ls pares ourdenados desta maneira para permitir sue projeçon ser tanto classes própias quanto ne ls cunjuntos (la defeniçon de (Kuratowski nun permite esso). Defeniu purmeiramente ls pares requesitados cujas las projeçones son 
Cunjuntos na maneira de Kuratowski 
jogos na maneira de Kuratowski. El anton redefeniu l par (x, y) cumo , adonde ls cumponentes de ls perdutos cartesianos son pares de Kuratowski an cunjuntos. Esta segunda etapa rende possibles pares cujas projeçones son própias classes. La defeniçon de Rosser an seçon anterior admite tamien las própias classes cumo projeçones.

 Teorie de las catadories 
Perduto ye la noçon de la teorie de las catadories mais similar a la dun par ourdenado. Anquanto un númaro d'oubjetos puode fazer l papel de pares, eilhes son todos eiquibalentes quanto a la séren categoricamente eisomórficos.

 Refréncias 
Holmes, Randall, 1998. Elementary Set Theory with a Universal Set. Academie-Bruylant. The publisher has graciously consented to permit diffusion of this monograph via the web. Copyright is reserved.
Morse, Anthony P., 1965. A Theory of Sets. Academic Press
J. Barkley Rosser, 1953. Logic for mathematicians. McGraw-Hill.
 Seymour Lipschutz, teorie de ls cunjuntos coleçon Schaum 
Coniglio, Marcelo Esteban.Teorie axiomática de ls cunjuntos. Ounibersidade stadual de Campinas-SP, Brasil.

 Ber tamien 
 Filosofie de la matemática
 Lógica matemática

Par ourdenado