Großer Durchschnitt

Erste Frage Aufrufe: 526     Aktiv: 23.12.2021 um 23:16
0


Wie kommt man auf = {1}?
Diese Frage melden
gefragt

Punkte: 14

 
Kommentar schreiben
2 Antworten
1
Hallo abel.tmrt,

sei $M_n:=\{1,2,\ldots,n\}$.

Dann ist $\bigcap_{n\in\mathbb{N}} M_n$ die Menge aller Objekte $x$ mit $x\in M_n$ für alle $n\in\mathbb{N}$
(Anschaulich: Der Schnitt enthält alles, was in allen geschnittenen Mengen gleichzeitig liegt.).

Für jedes solche Objekt $x$ gilt insbesondere $x\in M_1=\{1\}$.

Somit gilt $\bigcap_{n\in\mathbb{N}} M_n\subseteq\{1\}$.

Jetzt ist nur noch $\bigcap_{n\in\mathbb{N}} M_n\supseteq\{1\}$ zu überlegen.

Dazu genügt es, die Gültigkeit von $1\in\bigcap_{n\in\mathbb{N}} M_n$ zu zeigen.

Viele Grüße
Tobias
Diese Antwort melden
geantwortet

Sonstiger Berufsstatus, Punkte: 275

 

Kommentar schreiben

1
Das große Durchschnittzeichen ist eine Abkürzung, genau wie das Summenzeichen. Mit der Bezeichnung $M_n:=\{1,2,3,\ldots,n\}$ ist dann also
$\bigcap M_n = M_1\cap M_2\cap M_3....$ gesucht.
Wie beim Summenzeichen erledigen sich die meisten Fragen, wenn man die Abkürzung ausschreibt. Das hab ich für Dich schon gemacht. Du musst also nur noch schrittweise die Schnittmengen ausrechnen.
Diese Antwort melden
geantwortet

Lehrer/Professor, Punkte: 38.93K

 
Danke!!   ─   abel.tmrt 23.12.2021 um 12:33
Hallo mikn, was meinst du genau mit der Schreibweise $M_1\cap M_2\cap M_3\ldots$ ? Was meinst du mit "schrittweise die Schnittmengen ausrechnen"? Welche Schnittmengen sollen ausgerechnet werden und welchen Zusammenhang haben diese Schnittmengen mit dem gesuchten großen Durchschnitt und warum?   ─   tobit 23.12.2021 um 20:24
Hallo cauchy, danke für deinen Erklärungsversuch. Sei $N_1:=M_1$ und $N_{n+1}:=N_n\cap M_{n+1}$ für alle $n\in\mathbb{N}$ (rekursive Definition). Dein Vorschlag ist also, für alle $n\in\mathbb{N}$ die Menge $N_n$ auszurechnen. Was haben die Mengen $N_n$ nun mit der gesuchten Menge $\bigcap_{n\in\mathbb{N}}M_n$ zu tun?
Mir ist immer noch völlig unklar, was $M_1\cap M_2\cap M_3...$ eigentlich bedeuten soll, also wie die Definition dieses Ausdrucks lautet. Der Ausdruck $\bigcap_{n\in\mathbb{N}}M_n:=\{x\;|\;\forall n\in\mathbb{N}\colon x\in M_n\}$ ist hingegen völlig klar definiert.   ─   tobit 23.12.2021 um 21:41
Am Ausdruck $M_1\cap M_2\cap\ldots\cap M_n$ (mit endlich vielen Mengen) ist gar nichts unklar, aber wie soll der Ausdruck $M_1\cap M_2\cap M_3\ldots$ definiert sein? Ja, $\bigcap_{i=1}^n M_i$ ist rekursiv genauso definiert wie die $N_n$ und stimmt somit mit $N_n$ überein. Aber was haben die Mengen der Form $\bigcap_{i=1}^n M_i$ für $n\in\mathbb{N}$ nun mit der gesuchten Menge $\bigcap_{n\in\mathbb{N}}M_n$ zu tun?   ─   tobit 23.12.2021 um 21:58
@mikn: Ich erkenne ausdrücklich an, dass hier eine suggestive Notation hilfreich für den Fragesteller war. Man kann gerne endliche Schnitte ausrechnen, solange man lustig ist, das mag dem Verständnis förderlich sein. Nur so zu tun, als sei ein unendlicher Schnitt durch endlich häufiges Schneiden auszurechnen, deutet auf ein grobes Missverständnis hin. Und eine suggestive Notation (deren Bedeutung man auf Nachfrage selbst nicht erklären kann) als Definition darzustellen, ist mathematisch grob falsch, auch wenn es dem Fragesteller hier nicht aufgefallen ist.   ─   tobit 23.12.2021 um 22:17
@cauchy Also $M_1\cap M_2\cap M_3\ldots:=\bigcap_{n\in\mathbb{N}}M_n$, oder? Also ist $M_1\cap M_2\cap M_3\ldots$ nur eine Schreibweise für $\bigcap_{n\in\mathbb{N}}M_n$? Dann hat aber $M_1\cap M_2\cap M_3\ldots$ nichts mit endlichen Schnitten wie z.B. $M_1\cap M_2$ zu tun.   ─   tobit 23.12.2021 um 22:37
Wie ist $((M_1\cap M_2)\cap M_3)\cap\ldots$ definiert?   ─   tobit 23.12.2021 um 22:45
Als Diplom-Mathematiker habe ich oft Klammern gesehen, natürlich auch sowas wie $A\cap B\cap C$. Aber $((M_1\cap M_2)\cap M_3)\cap\ldots$ mit den Pünktchen am Ende habe ich noch nie gesehen. Daher frage ich dich nach der Definition.   ─   tobit 23.12.2021 um 22:56
Vermutlich meinst du mit $1+2+3+4+\ldots$ entweder die Reihe $\sum_{i=1}^\infty i$ (also die Abbildung $f\colon\mathbb{N}\to\mathbb{R}, n\mapsto \sum_{i=1}^n i$) oder deren uneigentlichen Grenzwert $\infty$ (d.h. für alle $K\in\mathbb{R}$ existiert ein $N\in\mathbb{N}$ mit $f(n)\ge K$ für alle $n\ge N$). Diese Definitionen haben aber wohl nichts mit $((M_1\cap M_2)\cap M_3)\cap\ldots$ zu tun?   ─   tobit 23.12.2021 um 23:14

Leider scheint diese Antwort Unstimmigkeiten zu enthalten und muss korrigiert werden. Mikn wurde bereits informiert.