Vidi fonton por Preskaŭ disaj aroj

En [[matematiko]], du [[aro (matematiko)|aroj]] estas '''preskaŭ disaj''' se ilia [[komunaĵo]] estas malgranda iusence. Malsamaj difinoj de "malgranda" rezultas ĉe malsamaj difinoj de "preskaŭ disa".

== Difino ==

La plej komuna elekto estas al preni "malgranda" al signifi [[finia]]. En ĉi tiu okazo, du aroj estas preskaŭ disaj se ilia [[komunaĵo]] estas [[finia aro]], kio estas se

:<math>\left|A\cap B\right| < \infty</math>

Ĉi tie, ''|X|'' estas la [[kardinala nombro]] de ''X'', kaj '< &infin;' signifas ke ĝi estas finia.

Ekzemple, la segmentoj [0, 1] kaj [1, 2] estas preskaŭ disaj, ĉar ilia komunaĵo estas la finia aro {1}. Tamen, la unuobla intervalo [0, 1] kaj la aro de ĉiuj racionalaj nombroj '''Q''' estas ne preskaŭ disaj, ĉar ilia komunaĵo estas [[nefinia aro]].

Ĉi tiu difino etendatas al ĉiu [[kolekto de aroj]]. Kolekto de aroj estas '''poduope preskaŭ disa''' aŭ '''reciproke preskaŭ disa''' se ĉiuj du malsamaj aroj en la kolekto estas preskaŭ disaj. Ofte la prefikso "poduope" estas forigita, kaj poduope preskaŭ disa kolekto estas simple nomata kiel "preskaŭ disa".

Formale, estu ''I'' esti [[indeksa aro]], kaj por ĉiu ''i'' en ''I'', estu aro ''A''<sub>''i''</sub>. Tiam la kolekto de aroj {''A''<sub>''i''</sub> : ''i'' en ''I''} estas preskaŭ disa se por ĉiuj ''i'' kaj ''j'' en ''I'',

:<math>A_i \ne A_j \quad \Rightarrow \quad \left|A_i \cap A_j\right| < \infty</math>

Ekzemple, la kolekto de ĉiuj linioj tra la fonto en [[eŭklida spaco]] '''R'''<sup>2</sup> estas preskaŭ disa, ĉar ĉiu du el ili intersekcas nur je la fonto. Se {''A''<sub>''i''</sub>} estas preskaŭ disa kolekto, tiam klare ĝia komunaĵo estas finia:

:<math>\bigcap_{i\in I} A_i < \infty</math>

Tamen, la reo povas esti ne vera - la komunaĵo de la kolekto

: ''<nowiki>{{1, 2, 3, ...}, {2, 3, 4, ...}, {3, 4, 5, ...}, ...}</nowiki>''

estas malplena, sed la kolekto estas ne preskaŭ disa; fakte, la intersekco de ĉiuj du malsamaj aroj el ĉi tiu kolekto estas nefinia.

==Aliaj signifoj==

Iam "preskaŭ disa" estas uzata en iu alia senco, aŭ en la senco de [[mezura teorio]] aŭ [[spaco de Baire|topologia kategorio]]. Jen estas iuj alternativaj difinoj de "preskaŭ disa" kiuj estas iam uzita (similaj difinoj estas por nefiniaj kolektoj):

* Estu ''κ'' iu [[kardinala nombro|kardinalo]]. Tiam du aroj ''A'' kaj ''B'' estas preskaŭ disaj se la kardinalo de ilia intersekco estas malpli granda ol ''κ'':

:<math>\left|A\cap B\right| < \kappa</math>

La okazo de ''κ=1'' estas simple la difino de [[disaj aroj]]; la okazo de

:<math>\kappa = \aleph_0</math>

estas simple la difino de preskaŭ disaj donita pli supre, kie la intersekco de ''A'' kaj ''B'' estas finia.

* Estu ''m'' iu [[mezuro (matematiko)|plena mezuro]] sur mezurhava spaco ''X''. Tiam du subaroj ''A'' kaj ''B'' de ''X'' estas preskaŭ disaj se ilia intersekco estas [[nula aro]], kio estas se

: <math>m(A\cap B) = 0</math>

* Estu ''X'' [[topologia spaco]]. Tiam du subaroj ''A'' kaj ''B'' de ''X'' estas preskaŭ disaj se ilia intersekco estas [[spaco de Baire|apenaŭa]] en ''X''.

[[Kategorio:Araj familioj]]