Opo: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e roboto aldono de: ca:N-pla, he:N-יה סדורה |
Maksim (diskuto | kontribuoj) |
||
Linio 9:
== Formalaj difinoj ==
La ĉefaj propraĵoj kiuj diferencigas opon de, ekzemple, [[
: (''a''<sub>1</sub>, ''a''<sub>2</sub>, ...,''a<sub>n</sub>'') = (''b''<sub>1</sub>, ''b''<sub>2</sub>, ..., ''b<sub>n</sub>'') se kaj nur se ''a''<sub>1</sub> = ''b''<sub>1</sub>, ''a''<sub>2</sub> = ''b''<sub>2</sub> kaj tiel plu.
Alia
▲Alia vojo de formaliganta (opoj, opas) estas per surĵetaj ilin al pli primitivo konstruas en [[aroteorio]] kiel [[Ordigita duopo|(ordigitaj duopoj, duopoj, paroj)]]. Ekzemple, ''n''-opo (kun ''n'' > 2) povas esti difinita kiel [[ordigita duopo]] de ĝia unua (termo, koeficiento, elemento) kaj (''n''−1)-opo enhavanta la ceteraj elementoj:
: (''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a<sub>n</sub>'') = (''a''<sub>1</sub>, (''a''<sub>2</sub>, ..., ''a<sub>n</sub>''))
Uzanta la kutima aro-teoria difino de [[ordigita duopo]] kaj lasanta la malplena aro prezenti la malplena opo, ĉi tiuj rezultoj en jena indukta difino:
# la 0-opo (kio estas la malplena opo) estas
# se ''x'' estas ''n''-opo tiam <nowiki>{{a}, {a, x}}</nowiki> estas (''n'' + 1)-opo.
Uzanta ĉi tiu difino, (1,2,2) devus esti
: <nowiki>(1,(2,(2,
Estas grava simileco de ĉi tie kun la
# speciala simbolo
# se ''X'' estas listo kaj ''A'' ajna valoro tiam la paro (''A'', ''X'') prezentas listo kun la ''kapo'' (kio estas unua ero) ''A'' kaj la ''vosto'' (kio estas la resto de la listo sen la kapo) ''X''.
== Uzado en komputiko ==
|