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
376
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 1 sääntöjenvastaista viestiä.
Luetuimmat keskustelut
Kansalla on oikeus tietää miksi persut pettävät
Koko kulunut hallituskausi on kysytty persuilta, minkä vuoksi he ovat pettäneet käytännössä jokaisen vaalilupauksen, ain617520Venäjän armeijan evp-upseeri: Armeija surkeassa tilassa, jonka läpäisee kaiken kattava
valehtelu. Venäläiset alkaneet pohtia julkisesti maan todellisia tappioita. Z-bloggari ja 3. luokan kapteeni (evp.) Mak1232946- 1421776
Kansalla on oikeus tietää mikä on SDP:n talousohjelma jolla maan talous
saadaan nousuun? Miksi puolue piilottelee sitä, vai eikö sitä ole? Tähän asti olemme vaan saaneet kuulla hallituksen ha651659Ammattiliitto 900 euroa/vuosi - Työttömyyskassa 72 euroa/vuosi
Ammattiliitosta eroamalla voi säästää jopa 800 euroa vuodessa. Mitä enemmän tienaat, sitä enemmän maksat liitolle. Esim1151468Miten voit olla niin tyhmä
että et tajunnut että sua vedätettiin? Tietäisitpä miten hyvät naurut on saatu. Naiselle1691419- 1311163
- 77863
Kyriake=Kirkko
Kirkko, Kyriake Kirkko-sana tulee kreikankielen sanasta Kyriake=Herran omat, Kristuksen omaksi kastettujen suuri joukko47812- 52755