Preskaŭ disaj aroj

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

En matematiko, du aroj estas preskaŭ disaj se ilia komunaĵo estas malgranda iusence. Malsamaj difinoj de "malgranda" rezultas ĉe malsamaj difinoj de "preskaŭ disa".

Difino[redakti | redakti fonton]

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

\left|A\cap B\right| < \infty

Ĉi tie, |X| estas la kardinala nombro de X, kaj '< ∞' 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 malfinia aro.

Ĉi tiu difino etendatas al ĉiu kolekto de aroj. Kolekto de aroj estas poduope preskaŭ disareciproke 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 Ai. Tiam la kolekto de aroj {Ai : i en I} estas preskaŭ disa se por ĉiuj i kaj j en I,

A_i \ne A_j \quad \Rightarrow \quad \left|A_i \cap A_j\right| < \infty

Ekzemple, la kolekto de ĉiuj linioj tra la fonto en eŭklida spaco R2 estas preskaŭ disa, ĉar ĉiu du el ili intersekcas nur je la fonto. Se {Ai} estas preskaŭ disa kolekto, tiam klare ĝia komunaĵo estas finia:

\bigcap_{i\in I} A_i < \infty

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

{{1, 2, 3, ...}, {2, 3, 4, ...}, {3, 4, 5, ...}, ...}

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

Aliaj signifoj[redakti | redakti fonton]

Iam "preskaŭ disa" estas uzata en iu alia senco, aŭ en la senco de mezura teoriotopologia kategorio. Jen estas iuj alternativaj difinoj de "preskaŭ disa" kiuj estas iam uzita (similaj difinoj estas por malfiniaj kolektoj):

  • Estu κ iu kardinalo. Tiam du aroj A kaj B estas preskaŭ disaj se la kardinalo de ilia intersekco estas malpli granda ol κ:
\left|A\cap B\right| < \kappa

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

\kappa = \aleph_0

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

  • Estu m iu 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
m(A\cap B) = 0
  • Estu X topologia spaco. Tiam du subaroj A kaj B de X estas preskaŭ disaj se ilia intersekco estas apenaŭa en X.