| dbpedia-owl:abstract
|
- Als Potenzmenge bezeichnet man in der Mengenlehre die Menge aller Teilmengen einer gegebenen Grundmenge. Die Potenzmenge ist also ein Mengensystem, das heißt, eine Menge, deren Elemente selbst Mengen sind. Man notiert die Potenzmenge von meist als . In Formelschreibweise lautet die Definition . Dabei ist zu beachten, dass die leere Menge Teilmenge einer jeden Menge ist. Andere gebräuchliche Notationen für die Potenzmenge sind: . Das Wesen der Potenzmenge wurde schon von Ernst Zermelo untersucht. Der kompakte Begriff „Potenzmenge“ hingegen – der sich in dem Zusammenhang mit der arithmetischen Potenzoperation anbietet – wurde auch von Gerhard Hessenberg in seinem Lehrbuch von 1906 noch nicht benutzt; er verwendet dafür die Wortverbindung „Menge der Teilmengen“.
- In mathematics, the power set (or powerset) of any set S, written, P(S), ℘(S) or 2, is the set of all subsets of S, including the empty set and S itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set. Any subset of is called a family of sets over S.
- En matemáticas, dado un conjunto S, se llama conjunto potencia o conjunto de partes de S (se denota por P o 2) al conjunto de todos los subconjuntos de S. En la teoría de conjuntos basada en los Axiomas de Zermelo-Fraenkel, la existencia del conjunto potencia se establece por el axioma del conjunto potencia. Por ejemplo, si S= {a, b, c} entonces el conjunto potencia de S es P(S) = {{}, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}. El conjunto potencia de un conjunto S, junto con las operaciones de la unión, de la intersección y del complemento forman el ejemplo prototípico de álgebra de Boole. De hecho, uno puede demostrar que cualquier álgebra de Boole finita es isomorfa al álgebra booleana del conjunto potencia de un conjunto finito. Para las álgebras booleanas infinitas esto no es verdad, pero cada álgebra booleana infinita es subálgebra de una álgebra booleana de partes. Plantilla:Cita requerida
- Potenssijoukko on joukon kaikkien osajoukkojen joukkoperhe. Joukon potenssijoukkoa merkitään tyypillisesti symboleilla, tai . Muodollinen määritelmä: jos on mielivaltainen joukko, niin on . Ominaisuuksia: jos joukko on äärellinen ja on sen alkioiden lukumäärä, niin
- In matematica, dato un insieme S, l'insieme delle parti di S, scritto o 2, è l'insieme di tutti i sottoinsiemi di S. Questa collezione di insiemi viene anche detta insieme potenza di S o booleano di S. Per esempio, se S è l'insieme, allora la lista completa dei suoi sottoinsiemi risulta: che coincide con l'insieme stesso e quindi l'insieme delle parti di S è
- 数学における冪集合（べきしゅうごう、power set）は、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字としてしばしば巾集合とも書かれる。 ファイル:Hasse diagram of powerset of 3. svg S = {x, y, z} の冪集合 P(S) = { {}, {x}, {y}, {z}, {x, y}, {y, z}, {z, x}, {x, y, z} } のハッセ図。要素数は 2 = 8 である。 集合と呼ぶべき対象を公理的に構成的に与える公理的集合論では、集合から作った冪集合が集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。
- De machtsverzameling van een verzameling S, die wordt weergegeven als of 2, is de verzameling van alle deelverzamelingen van S. De komt hierin van 'power', het Engelse woord voor 'macht'. Voorbeeld: zij S een verzameling {A,B,C}, dan is {A,C} een deelverzameling van S, evenals {A,B} etc. De complete lijst van deelverzamelingen van S is: { } (ook weergegeven als Ø, de lege verzameling) {A} {B} {C} {A, B} {A, C} {B, C} {A, B, C} (S zelf) De machtsverzameling is nu de verzameling van deze verzamelingen, oftewel: Zij n = |S|, dus n is het aantal elementen in S, dan geldt voor de machtsverzameling: || = 2. Dit is als volgt in te zien: bij elk element kun je kiezen of je dit element wel of niet opneemt in de deelverzameling; dat geeft 2*2*2*...*2 mogelijkheden in totaal. Zodoende kun je (en computers doen dit) elke deelverzameling als n-bitjes weergeven, de 0 geeft aan dat een element niet in de deelverzameling zit en een 1 dat deze er wel inzit. In bovengenoemd voorbeeld correspondeert '000' (3 elementen, dus 3 bits) met de lege verzameling, en 101 met {A, C} en 111 met {A, B, C}. Er zijn zo uiteraard ook 2 zulke getallen te maken. Het is wiskundig ook mogelijk om de machtsverzameling van een oneindige verzameling te beschouwen. Het diagonaalbewijs van Cantor toont aan dat de kardinaliteit van de machtsverzameling van een oneindige verzameling altijd strikt groter is dan die van de verzameling zelf (de machtsverzameling is 'oneindiger' dan de oorspronkelijke verzameling). Tussen enerzijds de machtsverzameling van de natuurlijke getallen en anderzijds de reële getallen is een bijectie te vinden (dit kan met behulp van oneindige rijen van nullen en enen). De machtsverzameling van een verzameling S, met daarop de bewerkingen vereniging, doorsnede en complement, vormt het standaardvoorbeeld van een booleaanse algebra. Het is zelfs mogelijk om aan te tonen dat elke eindige booleaanse algebra isomorf is met een booleaanse algebra van een machtsverzameling voor een bepaalde verzameling S. Voor oneindige booleaanse algebra's geldt dit niet, maar wel geldt dat elke oneindige booleaanse algebra een deelalgebra van een machtsverzameling van een booleaanse algebra is. Door ieder element van de machtsverzameling te associëren met zijn indicatorfunctie ontstaat een bijectie tussen en {0,1}, de verzameling van alle functies van S naar het paar {0,1}. Dit verklaart de notatie 2. De relatie "is een deelverzameling van" vormt op een machtsverzameling een partiële ordening.
- I matematikk er potensmengden til en mengde M lik mengden av alle delmengder av M og skrives eller 2. Hvis, for eksempel M = {1,2,3}, så er Hvis M er en endelig mengde som inneholder m elementer, er antall elementer i potensmengden til M lik 2. (Dette forklarer notasjonen 2. ) Man kan vise at kardinaliteten til 2 alltid er større enn kardinaliteten til M, også når M er uendelig: se Cantors teorem.
- Zbiór potęgowy – dla danego zbioru zbiór wszystkich jego podzbiorów oznaczany symbolami lub . W aksjomatycznej teorii zbiorów ZF istnienie zbioru potęgowego postuluje aksjomat zbioru potęgowego.
- O conjunto de todos os subconjuntos de um conjunto dado é chamado de conjunto de partes (ou conjunto potência) de, denotado por ou .
- Пусть — множество. Множество всех подмножеств множества называется булеаном (также степенью множества, показательным множеством или множеством частей) и обозначается или . Ясно, что и . Справедливо следующее утверждение: Число подмножеств конечного множества, состоящего из элементов равно . Доказательство проведем методом математической индукции. База. Если, т. е. множество пусто, то у него только одно подмножество — оно само, и интересующее нас число равно . Индукционный шаг. Пусть утверждение справедливо для некоторого n и пусть — множество с кардинальным числом . Зафиксировав некоторый элемент, разделим подмножества множества на два:, содержащее,, не содержащее, то есть являющиеся подмножествами множества . Подмножеств типа (2) по предположению индукции . Но подмножеств типа (1) ровно столько же, так как подмножество типа (1) получается из некоторого и притом единственного подмножества типа (2) добавлением элемента и, следовательно, из каждого подмножества типа (2) получается этим способом одно и только одно подмножество типа (1). Следовательно имеем и . По индукционному предположению и . Получаем .
- Potensmängden (power set på engelska) till en mängd M är mängden av delmängder till M. Potensmängden till M skrivs ofta P(M). Att P(M) är en mängd närhelst M är en mängd, är innebörden i potensmängdsaxiomet. Exempel 1: Antag att M = {1, 2}. M har alltså 2 element. De delmängder vi kan bilda till M är {1}, {2}, {1, 2} och ø. Dvs P(M) = {{1}, {2}, {1, 2}, ø}. Exempel 2: Antag att M = {1, 2, 3}. P(M) = {{1}, {2}, {3}, {1, 2}, {1, 3}, {2,3}, {1, 2, 3},ø}. Antalet delmängder, |P(M)|, är i detta fall 8. Allmänt så är antalet element (delmängder av den ursprungliga mängden) i en potensmängd 2^|M|. I exemplet ovan startade vi med en mängd med 2 element och såg att potensmängden innehöll fler element, nämligen 4 stycken. Detta är inget unikt för denna mängd. Alla mängder, ändliga såväl som oändliga, har fler delmängder än de har element. Om vi alltså startar med en oändlig mängd och bildar potensmängden av den så får vi en ännu större mängd, dvs en ännu större oändlighet! Sedan kan vi fortsätta och bilda potensmängden av potensmängden osv och hela tiden få allt större oändligheter. Det finns alltså obegränsat många storlekar på oändligheter. Se artiklarna kardinaltal och Cantors sats för vidare beskrivning av detta.
- 數學上，給定集合，其冪集（或作）是以的全部子集為元素的集合。以符號表示即為 。 在公理集合論（例如ZFC公理系統建立的理論）中，冪集公理假定了任何集合的冪集均存在。 的任何子集稱為上的集族。
- En mathématiques, l'ensemble des parties d'un ensemble désigne l'ensemble des sous-ensembles de cet ensemble.
|
| rdfs:comment
|
- In mathematics, the power set (or powerset) of any set S, written, P(S), ℘(S) or 2, is the set of all subsets of S, including the empty set and S itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set. Any subset of is called a family of sets over S.
- Potenssijoukko on joukon kaikkien osajoukkojen joukkoperhe. Joukon potenssijoukkoa merkitään tyypillisesti symboleilla, tai . Muodollinen määritelmä: jos on mielivaltainen joukko, niin on . Ominaisuuksia: jos joukko on äärellinen ja on sen alkioiden lukumäärä, niin
- In matematica, dato un insieme S, l'insieme delle parti di S, scritto o 2, è l'insieme di tutti i sottoinsiemi di S. Questa collezione di insiemi viene anche detta insieme potenza di S o booleano di S. Per esempio, se S è l'insieme, allora la lista completa dei suoi sottoinsiemi risulta: che coincide con l'insieme stesso e quindi l'insieme delle parti di S è
- 数学における冪集合（べきしゅうごう、power set）は、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字としてしばしば巾集合とも書かれる。 ファイル:Hasse diagram of powerset of 3. svg S = {x, y, z} の冪集合 P(S) = { {}, {x}, {y}, {z}, {x, y}, {y, z}, {z, x}, {x, y, z} } のハッセ図。要素数は 2 = 8 である。 集合と呼ぶべき対象を公理的に構成的に与える公理的集合論では、集合から作った冪集合が集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。
- I matematikk er potensmengden til en mengde M lik mengden av alle delmengder av M og skrives eller 2. Hvis, for eksempel M = {1,2,3}, så er Hvis M er en endelig mengde som inneholder m elementer, er antall elementer i potensmengden til M lik 2. (Dette forklarer notasjonen 2. ) Man kan vise at kardinaliteten til 2 alltid er større enn kardinaliteten til M, også når M er uendelig: se Cantors teorem.
- Zbiór potęgowy – dla danego zbioru zbiór wszystkich jego podzbiorów oznaczany symbolami lub . W aksjomatycznej teorii zbiorów ZF istnienie zbioru potęgowego postuluje aksjomat zbioru potęgowego.
- O conjunto de todos os subconjuntos de um conjunto dado é chamado de conjunto de partes (ou conjunto potência) de, denotado por ou .
- 數學上，給定集合，其冪集（或作）是以的全部子集為元素的集合。以符號表示即為 。 在公理集合論（例如ZFC公理系統建立的理論）中，冪集公理假定了任何集合的冪集均存在。 的任何子集稱為上的集族。
- Als Potenzmenge bezeichnet man in der Mengenlehre die Menge aller Teilmengen einer gegebenen Grundmenge. Die Potenzmenge ist also ein Mengensystem, das heißt, eine Menge, deren Elemente selbst Mengen sind. Man notiert die Potenzmenge von meist als . In Formelschreibweise lautet die Definition . Dabei ist zu beachten, dass die leere Menge Teilmenge einer jeden Menge ist. Andere gebräuchliche Notationen für die Potenzmenge sind: .
- En matemáticas, dado un conjunto S, se llama conjunto potencia o conjunto de partes de S (se denota por P o 2) al conjunto de todos los subconjuntos de S. En la teoría de conjuntos basada en los Axiomas de Zermelo-Fraenkel, la existencia del conjunto potencia se establece por el axioma del conjunto potencia. Por ejemplo, si S= {a, b, c} entonces el conjunto potencia de S es P(S) = {{}, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}.
- De machtsverzameling van een verzameling S, die wordt weergegeven als of 2, is de verzameling van alle deelverzamelingen van S. De komt hierin van 'power', het Engelse woord voor 'macht'. Voorbeeld: zij S een verzameling {A,B,C}, dan is {A,C} een deelverzameling van S, evenals {A,B} etc.
- Пусть — множество. Множество всех подмножеств множества называется булеаном (также степенью множества, показательным множеством или множеством частей) и обозначается или . Ясно, что и . Справедливо следующее утверждение: Число подмножеств конечного множества, состоящего из элементов равно . Доказательство проведем методом математической индукции. База. Если, т. е. множество пусто, то у него только одно подмножество — оно само, и интересующее нас число равно . Индукционный шаг.
- Potensmängden (power set på engelska) till en mängd M är mängden av delmängder till M. Potensmängden till M skrivs ofta P(M). Att P(M) är en mängd närhelst M är en mängd, är innebörden i potensmängdsaxiomet. Exempel 1: Antag att M = {1, 2}. M har alltså 2 element. De delmängder vi kan bilda till M är {1}, {2}, {1, 2} och ø. Dvs P(M) = {{1}, {2}, {1, 2}, ø}. Exempel 2: Antag att M = {1, 2, 3}. P(M) = {{1}, {2}, {3}, {1, 2}, {1, 3}, {2,3}, {1, 2, 3},ø}.
- En mathématiques, l'ensemble des parties d'un ensemble désigne l'ensemble des sous-ensembles de cet ensemble.
|
