Vikipedio:Projekto matematiko/Disaj aroj
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Disaj aroj (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
En matematiko, du aroj estas dirita al esti disa se ili havi ne ero en komuna. Ekzemple, {1, 2, 3} kaj {4, 5, 6} estas disaj aroj.
[redaktu] Ekspliko
Formale, du aroj A kaj B estas disa se ilia komunaĵo estas la malplena aro, kio estas se
Ĉi tiu difino etendas al (ĉiu, iu) kolekto de aroj. Kolekto de aroj estas duoplarĝa disa aŭ reciproke disa se (ĉiu, iu) du klara aroj en la kolekto estas disa.
Formale, estu Mi esti indeksa aro, kaj por ĉiu mi en Mi, estu Ami esti aro. Tiam la familio de aroj {Ami : mi ∈ Mi} estas duoplarĝa disa se por (ĉiu, iu) mi kaj j en Mi kun mi ≠ j,
Ekzemple, la kolekto de aroj { {1}, {2}, {3}, ... } estas duoplarĝa disa. Se {Ami} estas duoplarĝa disa kolekto, tiam klare ĝia komunaĵo estas malplena:
Tamen, la konversacii estas ne vera: la komunaĵo de la kolekto estas malplena, sed la kolekto estas ne duoplarĝa disa - fakte, estas ne du disaj aroj sur la kolekto. Subdisko de aro X estas (ĉiu, iu) kolekto de ne-malplena (subaroj, subaras) {Ami : mi ∈ Mi} de X tia (tiu, ke, kiu) {Ami} estas duoplarĝa disa kaj
[redaktu] Vidu ankaŭ jenon:
- preskaŭ disaj aroj
- disa unio
- disa-ara datumstrukturo
