Gönderen Konu: Tübitak Lise Takım Seçme 2005 Soru 4  (Okunma sayısı 2509 defa)

Çevrimdışı scarface

  • Lokman Gökçe
  • Administrator
  • Geo-Maniac
  • *********
  • İleti: 3199
  • Karma: +22/-0
  • İstanbul
Tübitak Lise Takım Seçme 2005 Soru 4
« : Ağustos 09, 2013, 01:09:41 ös »
$n\ge 2$ olmak üzere, tüm $a_{1},a_{2},\ldots ,a_{n}$ tam sayıları için, $\prod\limits_{1\le i<j\le n}{(j-i)}$ sayısının $\prod\limits_{1\le i<j\le n}{(a_{j}-a_{i})}$ sayısını böldüğünü kanıtlayınız.
« Son Düzenleme: Eylül 08, 2013, 11:44:17 öö Gönderen: bosbeles »
Uğraşınca çözebileceğim zorlukta olan soruları çözmeyi severim.

Çevrimdışı ArtOfMathSolving

  • G.O Efsane Üye
  • *******
  • İleti: 423
  • Karma: +4/-8
Ynt: Tübitak Lise Takım Seçme 2005 Soru 4
« Yanıtla #1 : Temmuz 24, 2016, 10:55:30 ös »
$\text{ArtOfMathSolving}$

$\text{Jordan Bölgeleri}$ ile çalışacağız, verilen ifade yerine daha genel bir ifade ispatlayacağım.

$E$ bir Jordan bölgesi olmak üzere, $b_1,b_2,\dots,b_n$ tamsayıları $E$ bölgesinin alt ağı olsun, öyleki bu ağ kapalı bir $n$ boyutlu $n$ genin içinde olsun. $E$ sıfır-hacimli olmamak üzere,

ipsatlayacağımız ifade, herhangi bir $A_i=\{a_i|i=1,2,\dots,n\}$ kapalı yolu ile oluşturulan $A\times A\times \dots \times A$ n boyutlu şekle -ki biz buna basitçe "çokgen" diyeceğiz- herhangi bir ağın $b_1,b_2,\dots b_n$ herhangi bir $(i,j)$ inci kenarı (bu kenarı $i<j$ olması halinde  $j-i$ şeklinde tanımlayacağız.) bu çokgenin $(i,j)$ inci kenarını ancak ve ancak bu ağların üstünde bulunduğu bölgenin Jordan bölgesi olduğununda böldüğünü göstereceğiz.

$A_i=\{a_i|i=1,2,\dots,n\}$ çokgenini tanımlamıştık şimdi de $E_i=\{b_i|i=1,2,\dots,n\}$ şeklinde gösterelim. Birkaç özellik yazalım. $$V(E;A_i)=\sum_{E\cap A_i\not=\emptyset}|A_i|$$  ve   $$v(E;A)=\sum_{E\subseteq A} |A_i|$$
Ağın dış ve iç hacmini sırasıyla $$Vol^{-} = \sup (v(E;A_i))$$ ve $$Vol^{+} = \inf (V(E;A_i))$$ olarak tanımlayalım.

Şimdi bu küme üzerinde bir $\delta$ işlemi/işlemcisi tanımlayalım öyleki bu işlemci $A_i$ çokgeninin herhangi bir $i$ ve $j$ noktalarını  $E$ alt ağındaki keyfi $\varepsilon$, $\mu$ noktalarına götürsün. Matematiksel olarak $\delta_{i,j} \rightarrow \varepsilon,\mu$. İşlemcinin götürdüğü noktalar kümesi $E$ nin altağı olacak ve bir alt ve üst değerlere sahip olacak. Bu kümeyi $$\delta_{i,j,\dots \in \Theta} \longrightarrow \Theta_i=\{b_i|i=1,2\dots,n\}$$ şeklinde tanımlayalım. Ayrıca bu işlemci bir Jordan bölgesini başka bir Jordan bölgesine götürsün.

$\text{Teorem:}$   $0\le v(\Theta;E_i)\le V(\Theta;E_i)$ eşitsizliği gerçeklenir.

$\mathcal{P}roof:$ $\Theta$ ağından daha ince olan $E$ üzerinde bir $I$ ağı olsun. Böyle bir ağ, örneğin, her $j=1,2\dots ,n$ için ($\mathcal{P}$ burada bir parçalanışı gösteriyor.) $\mathcal{P_j}(I)=\mathcal{P_j}(\Theta)$ alınarak elde edilebilir. Böylece $0 \le v(I;E_i) \le v(\Theta,E_i) \le V(\Theta;E_i) \le v(I;E_i)$ gerçeklenir. $\square$

Şimdi Bir iddia ortaya atalım.

$\text{Iddia 1:}$    $$\prod_{i\le n}V(\Theta;A_i)-v(\Theta;A_i)\ge 0$$

Dikkat edin, burada $\Theta$ ağı $A_i$ nin doğrudan alt ağı değil, $E$ altağı üzerinde bir ağ. Bunu kanıtlamak için başka bir iddia yı kanıtlamamız gerekiyor.

$\text{Iddia 2:}$ $$\delta_{i\rightarrow n} v(\Theta;E) \not= \inf \sum_{\Theta \cap E_i\not=\emptyset} b_i$$
$\mathcal{P}roof:$ Her iki tarafta limit alalım. $$\lim_{i\rightarrow n} \delta_{i\rightarrow n} v(\Theta;E) = \lim_{i\rightarrow n} \inf\sum_{\Theta \cap E_i\not=\emptyset} b_i$$
$$\Rightarrow \delta_{i\rightarrow n}\left( \lim_{i\rightarrow n}\sum_{\Theta \subseteq E_i}|\Theta_i|-\lim_{i\rightarrow n} \inf \sum_{\Theta \subseteq E_i}\right)=0$$ Her iki tarafın iç toplamını alalım. $$Vol^{+}\left( \delta_{i\rightarrow n}(\lim_{i\rightarrow n}\sum_{\Theta \subseteq E_i}|\Theta_i|-\inf\sum_{\Theta\subseteq E_i}b_i)\right)=Vol^{+}\kappa$$ burada $\kappa$ sıfır hacimli bir Jordan bölgesidir. İşlemcimizin tanım gereği $\delta_{i\rightarrow n}(\lim_{i\rightarrow n}\sum_{\Theta \subseteq E_i}|\Theta_i|-\inf\sum_{\Theta\subseteq E_i}b_i)$ ifadesinin tersi, $\delta_{\kappa \rightarrow i}=\lim_{i\rightarrow n}\sum_{\Theta \subseteq E_i}|\Theta_i|-\inf\sum_{\Theta\subseteq E_i}b_i)$ olmalıdır. Fakat bu mümkün değildir çünkü $\kappa$ ağı sıfır hacimli Jordan bölgesi fakat $E$ kümesini tanımlarken sıfır hacimli olmayan bir küme olarak tanımlamıştık. Çelişki! O halde $$\delta_{i\rightarrow n} v(\Theta;E_i)=\sup \sum_{\Theta \subseteq E_i} b_i \Rightarrow \delta_{i\rightarrow n} V(\Theta;E_i)=\inf \sum_{\Theta \subseteq E_i} b_i$$ koşulları gerçeklenir.  $\square$

İspatımızı tamamlamak için son kez ortaya bir iddia daha atalım.

$\text{Iddia 2:}$   $$\delta_{i<j\le n}(j-i) \longrightarrow \sum_{\Theta \cap E_i}(b_j-b_i) \longrightarrow \sum_{\Theta \cap A_i}(a_j-b_i)$$

$\mathcal{P}roof:$ $\delta_{i\rightarrow n}(j-i) \rightarrow V(\Theta;E_i)-V(\Theta;E_j)$ olduğunu gösterelim. $$\delta_{i\rightarrow n}V(\Theta;E_i)=\inf \sum_{\Theta \subseteq E_i}b_i$$
$$\delta_{j\rightarrow n}v(\Theta;E_j)=\sup\sum_{\Theta \cap E_j}b_j$$
$$\Rightarrow \delta_{i,j\le n} \left( \inf\sum_{\Theta \cap E_j}b_j-\sup\sum_{\Theta\subseteq E_i}b_i \right)\ge \left( \sum_{\Theta \cap A_i}a_j-b_j\right)$$ kabul edebiliriz yani $j-i$ kenarı $a_j-a_i$ nin bir alt ağı olarak kabul edilir. Çünkü infimum ve supremum işlemleri Jordan bölgesinde eşit kabul edilir. İspat biter $\square$

Hatam olduysa lütfen bildirin, iyi çalışmalar...
« Son Düzenleme: Temmuz 26, 2016, 04:06:09 ös Gönderen: ArtOfMathSolving »
Sıradan bir matematikçi...

 


Sitemap 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 
SimplePortal 2.3.3 © 2008-2010, SimplePortal