Egy véges halmaz leírható az adott halmaz számosságának folytonos jelölésével egy bizonyítás során?
Van egy ismeretlen számosságú (n) véges halmaz: |H| = n
Ezt jelölhetjük H(n)-nel?
Pl. halmazműveleteknél:
Ha a H halmaznak a számossága egy páros szám, és G halmaznak van pontosan n/2 olyan eleme, ami megegyezik a H halmazban lévő elemekkel, akkor a metszetük számossága (F halmaz) ennyi lesz:
H(n)∩G(m) = F(n-m)
Nem tudom sikerült-e érzékeltetni, hogy mire gondolok.
A lényeg, hogy van-e olyan jelölésmód, ahol az adott halmaz számosságát a bizonyítás során végig jelezzük az adott halmaz mellett?
Vagy ha pl. van egy n elemű H halmaz, és van egy m elemű G halmaz, amelyek metszete n/4 elemet tartalmaz, akkor:
H(n)\G(m) = F(n-n/4)
válasza:Bárhogyan jelölheted, ahogyan neked tetszik, persze ha bevezeted a levezetés elején.
Egyébként már van nekünk egy képletünk, ami két halmaz uniójának számosságát adja meg:
|AUB| = |A| + |B| - |AmetszetB|, rendezés után
|AmetszetB| = |A| + |B| - |AUB| lesz az a képlet, ami a metszet számosságát adja.
Ezt logikai szitának, vagy szitaformulának hívjuk.
Kapcsolódó kérdések:
Minden jog fenntartva © 2024, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!