$Def.$ non-formale di coppia ordinata di $a$ e $b$, $(a;b)$
Salve a tutti,
in molti testi ed appunti di matematica le def. di coppia ordinata di $a$ e $b$, con $a$ e $b$ due oggetti qualsiasi, $(a;b)$, non è formale (ovvero: non è secondo la def. di Kuratowski, o di altri http://en.wikipedia.org/wiki/Ordered_pair), ma intuitiva.. io purtroppo non riesco a capire la def. intuitiva, potete, cortesemente, fornirmi una def. di coppia ordinata in maniera intutiva di modo che io possa capire, anche questa, in modo pieno.
Cordiali saluti
in molti testi ed appunti di matematica le def. di coppia ordinata di $a$ e $b$, con $a$ e $b$ due oggetti qualsiasi, $(a;b)$, non è formale (ovvero: non è secondo la def. di Kuratowski, o di altri http://en.wikipedia.org/wiki/Ordered_pair), ma intuitiva.. io purtroppo non riesco a capire la def. intuitiva, potete, cortesemente, fornirmi una def. di coppia ordinata in maniera intutiva di modo che io possa capire, anche questa, in modo pieno.
Cordiali saluti
Risposte
Che ne pensi di questa .
Una coppia ordinata $ (x,y) $ è un ente primitivo che soddisfa un determinato assioma , ossia :
$ (x,y)=(t,z) hArr x=t , y=z $ .
Che ne pensi , Garnak ??
Una coppia ordinata $ (x,y) $ è un ente primitivo che soddisfa un determinato assioma , ossia :
$ (x,y)=(t,z) hArr x=t , y=z $ .
Che ne pensi , Garnak ??



Salve menale,
dopo la discussione che abbiamo avuto nell'argomento def-formale-dell-insieme-singleton-unit-set-t81032-60.html, preferisco fare ricorso alla def. formale, evitando ulteriori concetti primitivi.
dopo la discussione che abbiamo avuto nell'argomento def-formale-dell-insieme-singleton-unit-set-t81032-60.html, preferisco fare ricorso alla def. formale, evitando ulteriori concetti primitivi.
Si concordo appieno , così in tal modo riusciamo sia ad avallare la definizione di coppia ordinata che di coppia non-ordinata !

