Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
6 beğenilme 0 beğenilmeme
1.3k kez görüntülendi

Hiçbir şeyi çarparsak ne elde ederiz?

Mesela $\prod_{n\in \{3,7\}}n=3\times 7=21$ ve $\prod_{n\in \{3\}}n=3$.  O halde $\prod_{n\in \emptyset }n=? $.  

Benzer şekilde,

Hiçbir şeyi toplarsak ne elde ederiz, yani $\sum_{n\in \emptyset }n=? $

Hiçbir kümenin birleşimi nedir, yani $\bigcup_{A\in \emptyset }A=? $

Hiçbir kümenin kesişimi nedir, yani $\bigcap_{A\in \emptyset } A=? $


Lisans Matematik kategorisinde (209 puan) tarafından  | 1.3k kez görüntülendi

2 Cevaplar

5 beğenilme 0 beğenilmeme

Benim aciklamam biraz uyduruk olacak sanirim. Başlamadan önce bos kume uzerinden yapilan toplama ve carpmanin neye esit oldugu tanimlanan bir sey olmadığını söyleyeyim.Toplam ($\sum$) ve carpma ($\prod$) islemlerinin tanimindan cikan bir sonuc. 


Başlarken soyle bir gozlem yapalim:

Eger $A$ ve $B$ ayrik kumelerse soyle bir esitligimiz olacaktir.

$$\prod_{x\in A\cup B}x=\prod_{x\in A}x\cdot\prod_{y\in B}y$$

Eger $B$ yerine bos kume alirsak

$$\prod_{x\in A}x=\prod_{x\in A\cup \emptyset}x=\prod_{x\in A}x\cdot\prod_{y\in \emptyset}y$$

esitligini elde ederiz. Sanirim esitligin sag ucundaki degerin ne olmasi gerektigi acik.


Notlar: 

1- Bir kume uzerinden carpma yaptigimizi soyledimiz icin, carpmanin siralamasinin onemsiz oldugunu da kabul etmis oluyoruz. Yani carpmamizin degismeli oldugunu. Kaldi ki degismeli olmayan carpimlar icin de ayni ispat yapilabilir, yalnizca tanımı yaparken siralamayi da goz etmek gerekecektir.


2- Toplama ve birlesimle ilgili de tipatip ayni ispat yontemi kullanilarak toplam durumundaki sonucun $0$, birlesim durumundaki sonucun $\emptyset$ olacagi gorulebilir.


3- Bos kume uzerinde indekslenmis kumelerin kesisimi de aslinda ayni bicimde anlamlandirilmakta. Oncelikle uzerine konusmus oldugumuz diger uc durumdaki sonuclarin benzerligine bir goz atalim. Dikkat edilirse bos kume uzerinden bir islem yaptigimizda elimize hep yaptigimiz islemin etkisiz elemani geldi:

$\cdot$ Carpmanin etkisiz elemani $1$;

$\cdot$ Toplamanin etkisiz elemani $0$;

ve nihayet

$\cdot$ Birlesimin etkisiz elemani $\emptyset$.

O halde kesisim icin de benzer bir sonucun dogru olmasini bekleyebiliriz. Ama dikkat etmemiz gerek. Neye dikkat etmemiz gerek?

Iki kumenin kesisimi, ikisini iceren ortak bir kumenin varliginda anlamli ve tanimlidir. Bu yuzden bos kumenin elemanlariyla indekslenmis altkumelerin belli bir kumenin icindeki kesisiminden soz ediyoruz aslinda. Yani 


$$\bigcap_{A\in\emptyset}A$$


anlamli bir cumle degil. Bu cumlenin anlamli hali sudur:


$$\bigcap_{\substack{A\in\emptyset \\ A\subseteq X}}A$$. 

Burada $X$ herhangi bir kume. Diger orneklerde de bu $X$ var. Uzerine konustugumuz carpma ve toplamada $X$ reel sayilar, tamsayilar vs alinabilir ornegin.


Bu durumda da bulmamiz gereken sey, $X$ kumesinin altkumeleri arasinda kesisime gore etkisiz olan eleman olacaktir. O da tabii ki $X$ kumesinin ta kendisidir. Bunun ispati da diger durumlarin ispatiyla ayni bicimde yapilabilir.


(3.7k puan) tarafından 
tarafından düzenlendi
2 beğenilme 1 beğenilmeme
Birleşim konusunda pek bir sıkıntı yok. $\bigcup_{A \in I} A=\{x: \exists A \in I\ x \in A\}$ olduğu için $I=\emptyset$ durumunda hiç bir $x$ kümesi ilgili formülü sağlayamayacağından dolayı $\bigcup_{A \in \emptyset} A=\emptyset$ olur.

Kesişim içinse ilginç bir durum söz konusu. $\bigcap_{A \in I} A=\{x: \forall A \in I\ x \in A\}$ olduğu için $I=\emptyset$ olduğunda herhangi bir $x$ kümesi $\forall A \in \emptyset \ x \in A$ formülünü sağlar. Çünkü bir $x$ kümesi sabitlediğimizde boş kümenin her elemanı $x$'e eşittir. Dolayısıyla $\bigcap_{A \in \emptyset} A$ tüm kümeler evrenine eşittir (ve bir küme değildir), yani $\bigcap_{A \in \emptyset} A=V$.

Toplam ve çarpım sembolleri içinse yanıt bu sembolleri nasıl tanımladığınıza göre değişecektir. Ancak tanımların $\Sigma_{i \in I} a_i=(\Sigma_{i \in I-\{n\}} a_i) + a_n$ ve $\Pi_{i \in I} a_i=(\Pi_{i \in I-\{n\}} a_i) \cdot a_n$ özelliklerini sağlamasını istiyorsak boş toplamın 0, boş çarpımın da 1 olarak tanımlanması lazım.
(1.3k puan) tarafından 
tarafından düzenlendi
20,199 soru
21,725 cevap
73,270 yorum
1,885,786 kullanıcı