|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{other uses|König's theorem (disambiguation)}}
| | σαπουνια ελαιολαδου Ειδήσεις από την Ελλάδα και τον Κόσμο, άμεση ενημέρωση για όλες τις εξελίξεις, Διασκέδαση – Ψυχαγωγία και Αθλητισμός<br><br>Τιτλος [http://blog.net.gr/Article.asp?Code=021420&db=BlogContent02 - Διεθνή - Στις ΗΠΑ καταζητούμενο στέλεχος των «Μαύρων Πανθήρων»] <br>θεματική ενότητα [http://blog.net.gr/Category.asp?Code=KOΣΜΟΣ KOΣΜΟΣ] <br>Λέξη κλειδί [http://blog.net.gr/tag.asp?Code=Αεροδρόμιο Αεροδρόμιο] [http://www.ariston-oliveoil.gr/index.asp?Keyword=0000001755 σαπουνια ελαιολαδου] Ένα πρώην ενεργό μέλος της ένοπλης μαχητικής οργάνωσης Μαύροι Πάνθηρες που ζούσε στην Κούβα από το 1984, όταν οδήγησε εκεί αεροσκάφος στο οποίο είχε εκδηλωθεί αεροπειρατεία, επέστρεψε στο Μαϊάμι την Τετάρτη, όπου και συνελήφθη, ανακοίνωσαν οι αμερικανικές αρχές.<br /><br><br /><br>Ο 56χονος σήμερα Ουίλιαμ Ποτς κατηγορήθηκε το 1985 στις [http://el.wikipedia.org/wiki/%CE%97%CE%BD%CF%89%CE%BC%CE%AD%CE%BD%CE%B5%CF%82_%CE%A0%CE%BF%CE%BB%CE%B9%CF%84%CE%B5%CE%AF%CE%B5%CF%82_%CE%91%CE%BC%CE%B5%CF%81%CE%B9%CE%BA%CE%AE%CF%82 Ηνωμένες Πολιτείες] για «αεροπειρατεία», καθώς κατέλαβε ένα αεροπλάνο της εταιρείας Delta στις 27 Μαρτίου του 1984. Το αεροσκάφος είχε απογειωθεί από το αεροδρόμιο Λα Γκουάρντια της Νέας Υόρκης και με ενδιάμεση στάση στη Σάρλοτ της Βόρειας Κορολίνας, κατευθυνόταν στο Μαϊάμι Ο Ποτς απείλησε να ανατινάξει το αεροπλάνο, αν ο πιλότος προσγειωθεί σε αμερικανικό έδαφος, διατάζοντας τον κυβερνήτη να πάει στην Αβάνα, όπου και συνελήφθη από τις κουβανικές αρχές.<br /><br><br /><br>Σύμφωνα με το CNN, ο Ποτς πέρασε 13 χρόνια σε φυλακή της Κούβας. Μετά την απελευθέρωσή του, άρχισε μια νέα ζωή στην πρωτεύουσα Αβάνα, παντρεύτηκε και προσηλυτίστηκε στο Ισλάμ.<br /><br><br /><br>«Η τρομοκρατική πράξη που διέπραξα με στοιχειώνει κάθε μέρα », δήλωσε στο αμερικανικό τηλεοπτικό δίκτυο κατά τη διάρκεια της πτήσης από την Αβάνα στο Μαϊάμι, προσθέτοντας ότι έχασε την οικογένειά του. Ο Ουίλιαμ Ποτς αναμένεται να εμφανιστεί την Πέμπτη ενώπιον αμερικανικού ομοσπονδιακού δικαστηρίου για να αντιμετωπίσει τις κατηγορίες με τις οποίες ενέχεται. Σε περίπτωση καταδίκης του, αντιμετωπίζει ποινή φυλάκισης 20 ετών.<br /><br><br /><br>ΠΗΓΗ: [http://www.mpa.gr/ ΑΠΕ-ΜΠΕ]<br /><br><br>σαπουνια ελαιολαδου<br>source: http://www.real.gr/DefaultArthro.aspx?page=arthro&id=274301&catID=4<br><br>[http://www.ariston-oliveoil.gr/index.asp?Keyword=0000001755 ariston-oliveoil.gr]… |
| | |
| In [[set theory]], '''König's theorem''' (named after the Hungarian mathematician Gyula Kőnig, who published under the name [[Julius König]]) colloquially states that if the [[Axiom of Choice]] holds, ''I'' is a [[Set (mathematics)|set]], ''m<sub>i</sub>'' and ''n<sub>i</sub>'' are [[cardinal number]]s for every ''i'' in ''I'', and <math>m_i < n_i \!</math> for every ''i'' in ''I'' then
| |
| :<math>\sum_{i\in I}m_i<\prod_{i\in I}n_i.</math> | |
| | |
| The ''sum'' here is the cardinality of the [[disjoint union]] of the sets ''m<sub>i</sub>'' and the product is the cardinality of the [[cartesian product]].
| |
| However, without the use of the Axiom of Choice, the sum and the product cannot be defined as cardinal numbers, and the meaning of the inequality sign would need to be clarified.
| |
| | |
| == Details ==
| |
| | |
| The precise statement of the result: if ''I'' is a [[Set (mathematics)|set]], ''A<sub>i</sub>'' and ''B<sub>i</sub>'' are sets for every ''i'' in ''I'', and <math>A_i<B_i\!</math> for every ''i'' in ''I'' then
| |
| :<math>\sum_{i\in I}A_i<\prod_{i\in I}B_i,</math>
| |
| where '''<''' means ''strictly less than in [[cardinality]],'' i.e. there is an [[injective]] [[function (mathematics)|function]] from ''A<sub>i</sub>'' to ''B<sub>i</sub>,'' but not one going the other way. The union involved need not be disjoint (a non-disjoint union can't be any bigger than the disjoint version, also assuming the [[axiom of choice]]). In this formulation, '''König's theorem''' is equivalent to the [[Axiom of Choice]].<ref Name="Rubin 1985">{{cite book|last=Rubin|first=H.|coauthors=Rubin, J.E.|title=Equivalents of the Axiom of Choice, II|publisher=[[North-Holland Publishing Company|North Holland]]|place=New York, NY|year=1985|pages=185|isbn=0-444-87708-8}}</ref>
| |
| | |
| (Of course, König's theorem is trivial if the cardinal numbers ''m<sub>i</sub>'' and ''n<sub>i</sub>'' are [[finite set|finite]] and the index set ''I'' is finite. If ''I'' is [[empty set|empty]], then the left sum is the empty sum and therefore 0, while the right hand product is the [[empty product]] and therefore 1).
| |
| | |
| König's theorem is remarkable because of the strict inequality in the conclusion. There are many easy rules for the arithmetic of infinite sums and products of cardinals in which one can only conclude a weak inequality ≤, for example: if <math>m_i < n_i \!</math> for all ''i'' in ''I'', then one can only conclude
| |
| :<math>\sum_{i\in I} m_i \le \sum_{i\in I} n_i </math>
| |
| since, for example, setting <math>m_i = 1 </math> & <math>n_i = 2</math> where the index set ''I'' is the natural numbers, yields the sum <math>\aleph_0</math> for both sides and we have a strict equality.
| |
| | |
| ==Corollaries of König's theorem==
| |
| *If <math>\kappa\,</math> is a cardinal then <math>\kappa < 2^{\kappa}.\!</math>
| |
| If we take ''m<sub>i</sub>'' = 1, and ''n<sub>i</sub>'' = 2 for each ''i'' in κ, then the left hand side of the above inequality is just κ, while the right hand side is 2<sup>κ</sup>, the cardinality of functions from κ to {0,1}, that is, the cardinality of the power set of κ. Thus, König's theorem gives us an alternate proof of [[Cantor's theorem]]. (Historically of course Cantor's theorem was proved much earlier.)
| |
| | |
| ===Axiom of choice===
| |
| One way of stating the axiom of choice is "An arbitrary Cartesian product of non-empty sets is non-empty.". Let ''B<sub>i</sub>'' be a non-empty set for each ''i'' in ''I''. Let ''A<sub>i</sub>'' = {} for each ''i'' in ''I''. Thus by König's theorem, we have:
| |
| *If <math>\forall i\in I(\{\}<B_i)</math>, then <math>\{\}<\prod_{i\in I}B_i.</math>
| |
| That is, the Cartesian product of the given non-empty sets, ''B<sub>i</sub>'', has a larger cardinality than the sum of empty sets. Thus it is non-empty which is just what the axiom of choice states. Since the axiom of choice follows from König's theorem, we will use the axiom of choice freely and implicitly when discussing consequences of the theorem.
| |
| | |
| ===König's theorem and cofinality===
| |
| König's theorem has also important consequences for [[cofinality]] of cardinal numbers.
| |
| | |
| *If <math>\kappa\ge\aleph_0</math>, then <math>\kappa<\kappa^{cf(\kappa)}. \!</math>
| |
| Choose a strictly increasing cf(κ)-sequence of cardinals approaching κ. Each of them is less than κ, so their sum which is κ is less than the product of cf(κ) copies of κ.
| |
| | |
| According to [[Easton's theorem]], the next consequence of König's theorem is the only nontrivial constraint on the continuum function for [[regular cardinal]]s.
| |
| | |
| *If <math>\kappa\geq\aleph_0</math> and <math>\lambda\geq 2</math>, then <math>\kappa<cf(\lambda^\kappa).\!</math>
| |
| Let <math>\mu = \lambda^\kappa \!</math>. Suppose that, contrary to this corollary, <math>\kappa \ge cf(\mu)</math>. Then using the previous corollary, <math>\mu<\mu^{cf(\mu)}\le\mu^{\kappa}=(\lambda^\kappa)^\kappa=\lambda^{\kappa\cdot\kappa}=\lambda^\kappa=\mu</math>, a contradiction. Thus the supposition must be false and this corollary must be true.
| |
| | |
| ==A proof of König's theorem==
| |
| Assuming [[Zermelo–Fraenkel set theory]], including especially the [[axiom of choice]], we can prove the theorem. Remember that we are given <math>\forall i\in I\quad A_i<B_i</math>, and we want to show :<math>\sum_{i\in I}A_i<\prod_{i\in I}B_i.</math>
| |
| | |
| First, we show that there is an [[injective function|injection]] from the sum to the product. Using the axiom of choice, for each ''i'' we choose an injection ''f<sub>i</sub>'' from ''A<sub>i</sub>'' to ''B<sub>i</sub>''. Notice that ''f<sub>i</sub>'' cannot be a surjection because then its inverse would be an injection from ''B<sub>i</sub>'' to ''A<sub>i</sub>''. So, for each ''i'', there must be an element of ''B<sub>i</sub>'' not in the range of ''f<sub>i</sub>''. Using the axiom of choice again, we choose such an ''x<sub>i</sub>'' for each ''i''. Define ''g'' on the sum by ''g''(''i,a'') (''j'') = ''f<sub>i</sub>''(''a'') when ''j'' = ''i'' and ''a'' is an element of ''A<sub>i</sub>'' and ''g''(''i,a'') (''j'') = ''x<sub>j</sub>'' when ''j'' ≠ ''i'' and ''a'' is an element of ''A<sub>i</sub>''. Since ''f<sub>i</sub>''(''a'') ≠ ''x<sub>i</sub>'' for each ''i'', ''g'' is an injection from the sum to the product.
| |
| | |
| Second, we show that there is no injection ''h'' from the product to the sum. Suppose, to the contrary, that such an ''h'' existed. In a similar manner to [[Cantor's diagonal argument]], we will construct an element ''e'' of the product, which cannot have a value under ''h''. For each ''i'' in ''I'', construct a partial function ''f<sub>i</sub>'' from ''A<sub>i</sub>'' to ''B<sub>i</sub>'' by ''f<sub>i</sub>''(''a'') = ''d''(''i'') if there is a ''d'' in the product such that ''h''(''d'') = (''i'',''a''). (This '''is''' a partial function because ''h'' is an injection, so the ''d'' is unique.) If ''f<sub>i</sub>'' were a surjection, then, using the axiom of choice, we could construct an injection ''g'' from ''B<sub>i</sub>'' into ''A<sub>i</sub>'' (''g'' would be a right inverse of ''f''<sub>''i''</sub>), contradicting the hypothesis. Hence, for each ''i'' in ''I'', there are elements of ''B<sub>i</sub>'' not in the image of ''f<sub>i</sub>''. So using the axiom of choice again, we choose ''e''(''i'') in ''B<sub>i</sub>'' but not in the image of ''f<sub>i</sub>''. Consider, now, the value of ''h''(''e'') = (''i'',''c'') with ''c'' in ''A<sub>i</sub>''. But then ''f<sub>i</sub>''(''c'') = ''e''(''i''), contradicting the construction of ''e''. Hence no such injection can exist, and the product is strictly larger in cardinality than the sum.
| |
| | |
| ==Notes== | |
| <references/> | |
| | |
| ==References==
| |
| *{{cite book | author=M. Holz, K. Steffens and E. Weitz | title=Introduction to Cardinal Arithmetic | publisher=Birkhäuser | year=1999 | isbn=3-7643-6124-7}}
| |
| | |
| ==External links==
| |
| *[http://planetmath.org/encyclopedia/KonigsTheorem.html König's theorem] article on PlanetMath, includes a proof
| |
| | |
| {{DEFAULTSORT:Konigs theorem}}
| |
| [[Category:Axiom of choice]]
| |
| [[Category:Theorems in the foundations of mathematics]]
| |
| [[Category:Cardinal numbers]]
| |
| [[Category:Articles containing proofs]]
| |
σαπουνια ελαιολαδου Ειδήσεις από την Ελλάδα και τον Κόσμο, άμεση ενημέρωση για όλες τις εξελίξεις, Διασκέδαση – Ψυχαγωγία και Αθλητισμός
Τιτλος - Διεθνή - Στις ΗΠΑ καταζητούμενο στέλεχος των «Μαύρων Πανθήρων»
θεματική ενότητα KOΣΜΟΣ
Λέξη κλειδί Αεροδρόμιο σαπουνια ελαιολαδου Ένα πρώην ενεργό μέλος της ένοπλης μαχητικής οργάνωσης Μαύροι Πάνθηρες που ζούσε στην Κούβα από το 1984, όταν οδήγησε εκεί αεροσκάφος στο οποίο είχε εκδηλωθεί αεροπειρατεία, επέστρεψε στο Μαϊάμι την Τετάρτη, όπου και συνελήφθη, ανακοίνωσαν οι αμερικανικές αρχές.
Ο 56χονος σήμερα Ουίλιαμ Ποτς κατηγορήθηκε το 1985 στις Ηνωμένες Πολιτείες για «αεροπειρατεία», καθώς κατέλαβε ένα αεροπλάνο της εταιρείας Delta στις 27 Μαρτίου του 1984. Το αεροσκάφος είχε απογειωθεί από το αεροδρόμιο Λα Γκουάρντια της Νέας Υόρκης και με ενδιάμεση στάση στη Σάρλοτ της Βόρειας Κορολίνας, κατευθυνόταν στο Μαϊάμι Ο Ποτς απείλησε να ανατινάξει το αεροπλάνο, αν ο πιλότος προσγειωθεί σε αμερικανικό έδαφος, διατάζοντας τον κυβερνήτη να πάει στην Αβάνα, όπου και συνελήφθη από τις κουβανικές αρχές.
Σύμφωνα με το CNN, ο Ποτς πέρασε 13 χρόνια σε φυλακή της Κούβας. Μετά την απελευθέρωσή του, άρχισε μια νέα ζωή στην πρωτεύουσα Αβάνα, παντρεύτηκε και προσηλυτίστηκε στο Ισλάμ.
«Η τρομοκρατική πράξη που διέπραξα με στοιχειώνει κάθε μέρα », δήλωσε στο αμερικανικό τηλεοπτικό δίκτυο κατά τη διάρκεια της πτήσης από την Αβάνα στο Μαϊάμι, προσθέτοντας ότι έχασε την οικογένειά του. Ο Ουίλιαμ Ποτς αναμένεται να εμφανιστεί την Πέμπτη ενώπιον αμερικανικού ομοσπονδιακού δικαστηρίου για να αντιμετωπίσει τις κατηγορίες με τις οποίες ενέχεται. Σε περίπτωση καταδίκης του, αντιμετωπίζει ποινή φυλάκισης 20 ετών.
ΠΗΓΗ: ΑΠΕ-ΜΠΕ
σαπουνια ελαιολαδου
source: http://www.real.gr/DefaultArthro.aspx?page=arthro&id=274301&catID=4
ariston-oliveoil.gr…