Yeni Kayıt
Konudaki Resimler
< Bu ileti DH mobil uygulamasından atıldı > |
Hızlı 
Bildirim
1 adet küme ispat sorusu
Sıcak Fırsatlarda Tıklananlar
Editörün Seçtiği Fırsatlar
Daha Fazla 
Bu Konudaki Kullanıcılar:
Daha Az 
2 Misafir - 2 Masaüstü
Giriş
Mesaj
-
-
Soru sorup kendisi cevaplamıış hocam mis
< Bu ileti DH mobil uygulamasından atıldı > -
Çelişki yöntemiyle ispat yapmış, iddia ettiği şey şu:
A, B'nin alt kümesiyse; "A fark B" boş kümedir. Yani "A, B'nin alt kümesiyse; A'da olup da B'da olmayan bir eleman yoktur" diyor.
Alt kümenin tanımı:
Bir A kümesinin tüm elemanları B kümesinde de bulunuyorsa, A kümesi B kümesinin alt kümesidir. İspatta 1. adımda demiş ki:
A, B'nin alt kümesi olsun VE "A\B" boş küme olmasın (yani kanıtlamaya çalıştığı şeyin şimdilik aksini varsayıyor).
II. adımda diyor ki:
A\B boş küme değilse, A\B kümesine ait en az bir x elemanı vardır.
III. adımda:
A\B kümesine ait en az bir x elemanı var ise A'nın elemanı olup B'nin elemanı olmayan en az bir x elemanı vardır.
IV. adım (çelişki bu adımda):
A, B'nin alt kümesi olduğundan bu x elemanı hem B'nin elemanıdır (çünkü A, B'nin alt kümesi olduğu için A'daki her eleman aynı zamanda B'nin de elemanı), hem de B'nin elemanı değildir (çünkü III. adımda böyle bulduk).
Bir elemanın bir kümeye hem ait olması hem de aynı zamanda ait olmaması mümkün olmadığı için çelişti. Bu yüzden iddia ettiği şey doğru,
A, B'nin alt kümesiyse "A fark B" boş kümedir.
(Bu arada TDK'ya göre doğrusu "iddia". Ayrıca yine TDK'ya göre doğrusu "TDK'ye".)
< Bu mesaj bu kişi tarafından değiştirildi miGma -- 22 Mayıs 2020; 20:7:2 >
-
İlk defa görüyorum kümede böyle şeyler
< Bu ileti DH mobil uygulamasından atıldı > -
miGma
M
kullanıcısına yanıt
Teşekkür ederim hocam.
< Bu ileti DH mobil uygulamasından atıldı >
Sayfa:
1
Ip işlemleri
Bu mesaj IP'si ile atılan mesajları ara Bu kullanıcının son IP'si ile atılan mesajları ara Bu mesaj IP'si ile kullanıcı ara Bu kullanıcının son IP'si ile kullanıcı ara
KAPAT X
Bu mesaj IP'si ile atılan mesajları ara Bu kullanıcının son IP'si ile atılan mesajları ara Bu mesaj IP'si ile kullanıcı ara Bu kullanıcının son IP'si ile kullanıcı ara
KAPAT X
