Olkoon filtteri F indeksijoukon N (luonnolliset luvut) osajoukkojen joukko, ts. F olisi esimerkiksi seuraava ääretön joukko:
F = { {1,2,3,4,...} , {2,3,4,5,...} , {3,4,5,6,...} ,...}
Tutkitaan sitten kahta mielivaltaista F:n alkiota (eli N:n osajoukkoa) X ja Y. Tällöin sanotaan seuraavasti:
"Jos X kuuluu joukkoon F ja Y kuuluu joukkoon F, silloin X:n ja Y:n leikkausjoukko kuuluu F:ään."
Nyt esitän varsinaisen kysymykseni: Pitääkö edellä mainitun ehdon olla voimassa KAIKILLE PAREILLE X ja Y, vai riittäkö, että löydetään EDES YKSI pari X ja Y, joka toteuttaa em. ehdon?
Kysymys joukko-opin merkinnöistä
5
232
Vastaukset
- Anonyymi
Kun ehto on muotoa JOS xxx NIIN yyy on kyseisen ehdon tietenkin toteuduttava kaikilla xxx. Muutenhan sinulla olisi vastaesimerkki eli xxx jolle ei pätisikään yyy eli oletuksesi, aksiomasi tai päätelmäsi ("sanotaan että ...") olisi ristiriitainen.
- Anonyymi
Lisäys edelliseen: Jos X olisi äärellinen joukko, esimerkiksi {1,2,3,4}, pitääkö tämän X:n ja jokaisen Y:n leikkausjoukon kuulua joukkoon F, vai riittääkö, että löydetään esimerkiksi yksi pari X ja Y, jotka toteuttavat em. ehdon?
- Anonyymi
Yleensähän oletetaan että vapaat muuttujat on implisiittisesti ∀-kvanttorilla kvantifioituja, mutta esim. täällä: https://math.andrej.com/2012/12/25/free-variables-are-not-implicitly-universally-quantified/ on siihen vasta-argumenttia.
Niin, onhan se eri asia. Tuollaisenaan kaava on X:stä ja Y:stä riippuva ja sitten kumpaa tulkintaa tarkoitetaan riippuu siitä pistetäänkö eteen ∀X,Y vai ∃X,Y. - Anonyymi
Et näytä edes osaavan käyttää oikein ilmaisuja "kuuluu joukkoon" ( on joukon alkio) ja "on joukon osajoukko". Silti viisastelet joukko-opin tietämyksellä!
- Anonyymi
Hän on tämmöinen riemu i.......... , mellastaa ,tiede , fysikka , matematiikka, yms.
Ja aina hyvin erikoisia omia sovelluksia , niin riemu i....... , hän on.
Ketjusta on poistettu 0 sääntöjenvastaista viestiä.
Luetuimmat keskustelut
- 1723570
Tekisi niin mieli laittaa sulle viestiä
En vaan ole varma ollaanko siihen vielä valmiita, vaikka halua löytyykin täältä suunnalta, ja ikävää, ja kaikkea muuta m851598Miksi ihmeessä?
Erika Vikman diskattiin, ei osallistu Euroviisuihin – tilalle Gettomasa ja paluun tekevä Cheek261317- 1581242
Pitääkö penkeillä hypätä Martina?
Eivätkö puistonpenkit ole istumista varten.Ei niitä kannata liata hyppäämällä koskaa likaantuvat eikä siellä kukaan niit1941013Erika Vikman diskattiin, tilalle Gettomasa ja paluun tekevä Cheek
Erika Vikman diskattiin, ei osallistu Euroviisuihin – tilalle Gettomasa ja paluun tekevä Cheek https://www.rumba.fi/uut16983- 35981
Kuinka kauan
Olet ollut kaivattuusi ihastunut/rakastunut? Tajusitko tunteesi heti, vai syventyivätkö ne hitaasti?63879Maikkarin tentti: Orpo jälleen rauhallinen ja erittäin hyvä, myös Purra oli hyvä
Lindtman ja Kaikkonen oli kohtalaisia, sen sijaan punavihreät Koskela ja Virta olivat taas heikkoja. Ja vastustavat jalk95829- 62765