matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-Lineare AlgebraIndexmenge
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Uni-Lineare Algebra" - Indexmenge
Indexmenge < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Lineare Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Indexmenge: Frage
Status: (Frage) reagiert/warte auf Reaktion Status 
Datum: 12:07 Do 04.11.2004
Autor: MaggotManson

Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt:
http://www.uni-protokolle.de/foren/viewt/8300,0.html
http://www.matheboard.de/thread.php?threadid=8223


Moin

Ich hab eine Frage zu folgender Aufgabe:
[Dateianhang nicht öffentlich]

Lösungsversuch für die erste Aufgabe:

Ich weiß nicht wirklich, wie ich damit umgehen soll, meine Idee war es, von allen a  [mm] \in \IN, [/mm] also 1, 2, 3, 4, ..., sämtliche b [mm] \in \IN [/mm] abzuziehen, für die gilt b<=k.

M1 = {1-1, 2-1, 3-1, 4-1, ...}
[Alle a -1]
M1 =   [mm] \{x \in \IZ | x \ge 0} [/mm]

M2 = {1-1, 1-2, 2-1, 2-2, 3-1, 3-2, ...}
[Alle a -1 und -2]
M2 =   [mm] \{x \in \IZ | x \ge -1} [/mm]

M3 = {1-1, 1-2, 1-3, 2-1, 2-2, 2-3, 3-1, 3-2, 3-3, ...}
[Alle a -1 und -2 und -3]
M3 =   [mm] \{x \in \IZ | x \ge -2} [/mm]

[mm] \cup [/mm] =   [mm] \{x \in \IZ | x \ge 1-k} [/mm]
bei k  [mm] \to \infty [/mm] ->  [mm] \cup [/mm]  = [mm] \IZ [/mm]


Kann mir jemand sagen, ob das in die richtige Richtung geht oder ob ich völlig falsch ansetze?

Danke

Dateianhänge:
Anhang Nr. 1 (Typ: jpg) [nicht öffentlich]
        
Bezug
Indexmenge: zum ersten Teil
Status: (Antwort) fertig Status 
Datum: 12:45 Do 04.11.2004
Autor: Julius

Hallo MaggotManson!

[willkommenmr]

Es gilt:

[mm] $\bigcup_{k \in \IN} M_k [/mm] = [mm] \IZ$, [/mm]

denn ist [mm] $z\ge [/mm] 0$, so ist:

$z=(z+1)-1 [mm] \in M_1$, [/mm]

und im Falle $z<0$ ist:

$z = [mm] \underbrace{|z|}_{\in \, \IN} [/mm] - [mm] \underbrace{(|z|-z)}_{\in \, \IN} \in M_{|z|-z}$. [/mm]

Weiterhin gilt:

[mm] $\bigcap_{k \in \IN} M_k [/mm] = [mm] \IZ_+$, [/mm]

denn wegen

$a-1 [mm] \ge [/mm] 0$  für alle $a [mm] \ge [/mm] 1$

gilt:

[mm] $M_1 \subset \IZ_+$ [/mm]

und damit auch

[mm] $\bigcap_{k \in \IN} M_k \subset \IZ_+$. [/mm]

Ist umgekehrt $z [mm] \in \IZ_+$ [/mm] beliebig gewählt, dann ist:

$z = (z+1)-1 [mm] \in M_k$ [/mm]    für alle $k [mm] \in \IN$, [/mm]

also:

$z [mm] \in \bigcap_{k \in \IN} M_k$. [/mm]

Hast du dir auch schon Gedanken für die [mm] $N_k$ [/mm] gemacht?

Liebe Grüße
Julius

Bezug
                
Bezug
Indexmenge: Zweiter Teil N_k
Status: (Frage) beantwortet Status 
Datum: 14:16 Do 04.11.2004
Autor: MaggotManson

Danke für die Antwort.

Ja, ich hatte auch schon die anderen Aufgaben versucht, allerdings auch nur so durch "denken" gelöst und nicht so rechnerisch/mit Beweis, wie du das gemacht hast, da ich nicht wusste, wie man das richtig macht.
(Jetzt bin ich mir auch nicht hundertprozentig sicher.)

Also, ich fang erstmal mit der letzten Aufgabe an, da mir der Durchschnitt leichter zu berechnen scheint als die Vereinigungsmenge.

Es gilt:
$ [mm] \bigcap_{k \in \IN} N_k [/mm] = [mm] \IZ \backslash \{ 0 \} [/mm] $,
denn für alle $ [mm] q\not= [/mm] 0 $ ist:
$ q = [mm] \underbrace{q*k/k}_{\in \, \IZ \backslash \{ 0 \}} \in N_k [/mm] $
(Nur ein Versuch, es auch mit diesem ... Element N darzustellen, der Server ist aber anscheinend überlastet, zumindest erhalte ich in der Vorschau ein Fehlermeldung und weiß daher nicht, ob es richtig dargestellt wird.)


Und nun ein Versuch zur Vereinigungsmenge.

Es gilt
$ [mm] \bigcup_{k \in \IN} N_k [/mm] = [mm] \IZ [/mm] = [mm] \IQ \backslash \{ 0 \} [/mm] $, denn
$ q = [mm] \underbrace{r/s}_{\in \, \IQ \backslash \{ 0 \}} \in N_s [/mm] $



Zur Sicherheit noch einmal in Textform, ohne richtigen Beweis.

Die Vereinigungsmenge von [mm] N_k [/mm] sind die rationalen Zahlen Q ohne die Null, da alle Brüche entstehen, da man durch k=1,2,3,4,5,6... sowohl positive als auch negative Zahlen teilt (r aus Z, r ungleich 0)
Die Schnittmenge ist daher Z ohne Null, da ja zum Beispiel 0,5 nicht in [mm] N_1 [/mm] liegt.

Bezug
                        
Bezug
Indexmenge: Begründung
Status: (Antwort) fertig Status 
Datum: 14:39 Do 04.11.2004
Autor: Gnometech

Hallo!

Also, die Mengen sind korrekt berechnet, aber die Begründungen gefallen mir noch nicht...

Versuch doch mal, den Beweis von Julius als "Muster" zu verwenden. Du möchtest die Gleichheit von zwei Mengen zeigen, also sind zwei Inklusionen zu zeigen!

Zum Beispiel bei diesem hier:

Behauptung: [mm] $\bigcap_{k \in \IN} N_k [/mm] = [mm] \IZ \backslash \{ 0 \}$ [/mm]

Dann mußt Du einmal zeigen, dass jede von 0 verschiedene GANZE Zahl (Du hast bei Deinem $q$ nicht angegeben, wo es herkommt!!) in JEDEM der [mm] $N_k$ [/mm] liegt und andersrum, dass eine Zahl, die in jedem der [mm] $N_k$ [/mm] liegt ganzzahlig und von 0 verschieden ist.

Ebenso bei der Vereinigung: auch hier sind 2 Inklusionen zu zeigen.

Viel Glück!

Lars

Bezug
                                
Bezug
Indexmenge: Bessere Begründung
Status: (Frage) beantwortet Status 
Datum: 16:24 Do 04.11.2004
Autor: MaggotManson

Ich versuch mich zunächst wieder an der Schnittmenge.

Behauptung: $ [mm] \bigcap_{k \in \IN} N_k [/mm] = [mm] \IZ \backslash \{ 0 \} [/mm] $

Zu zeigen: $ [mm] \bigcap_{k \in \IN} N_k \subseteq \IZ \backslash \{ 0 \} \wedge \IZ \backslash \{ 0 \} \subseteq \bigcap_{k \in \IN} N_k [/mm] $

Rechte Seite:
$ z [mm] \in \IZ \backslash \{ 0 \} \Rightarrow [/mm] z=z*k/k [mm] \in N_k \Rightarrow \IZ \backslash \{ 0 \} \subseteq \bigcap_{k \in \IN} N_k [/mm] $

Linke Seite:
$ z [mm] \in \bigcap_{k \in \IN} N_k \Rightarrow [/mm] z [mm] \in N_1 \Rightarrow [/mm] z=r/1=r [mm] \Rightarrow [/mm] z [mm] \in \IZ \backslash \{ 0 \} \Rightarrow \bigcap_{k \in \IN} N_k \subseteq \IZ \backslash \{ 0 \} [/mm] $


$ [mm] \IZ \backslash \{ 0 \} \subseteq \bigcap_{k \in \IN} N_k \wedge \bigcap_{k \in \IN} N_k \subseteq \IZ \backslash \{ 0 \} \Rightarrow \bigcap_{k \in \IN} N_k [/mm] = [mm] \IZ \backslash \{ 0 \} [/mm] $




Vereinigungsmenge

Behauptung: $ [mm] \bigcup_{k \in \IN} N_k [/mm] = [mm] \IQ \backslash \{ 0 \} [/mm] $

Zu zeigen: $ [mm] \bigcup_{k \in \IN} N_k \subseteq \IQ \backslash \{ 0 \} \wedge \IQ \backslash \{ 0 \} \subseteq \bigcup_{k \in \IN} N_k [/mm] $

Rechte Seite:
$ q [mm] \in \IQ \backslash \{ 0 \} \Rightarrow [/mm] q=r/k [mm] \in N_k \Rightarrow \IQ \backslash \{ 0 \} \subseteq \bigcup_{k \in \IN} N_k [/mm] $

Linke Seite:
Falls das oben richtig sein sollte, habe ich spätestens hier ein Problem.
$ q [mm] \in \bigcup_{k \in \IN} N_k \Rightarrow \exists [/mm] k [mm] \in \IN [/mm] | q [mm] \in N_k [/mm] $
Nur hier weiß ich nicht, wie ich zeigen soll, dass die Menge [mm] N_k [/mm] eine Teilmenge von $ [mm] \IQ [/mm] $ ist, auch wenn es wahrscheinlich ganz einfach ist.

Bezug
                                        
Bezug
Indexmenge: Sieht gut aus
Status: (Antwort) fertig Status 
Datum: 18:30 Do 04.11.2004
Autor: Gnometech

Gruß!

Das sieht sehr gut aus. [daumenhoch]

Für den letzten Teil: wenn ich Dein Tutor wäre, müßtest Du mir nicht formal beweisen, dass ein Objekt der Form [mm] $\frac{r}{k}$ [/mm] mit $r [mm] \in \IZ \backslash \{ 0 \}$ [/mm] und $k [mm] \in \IN$ [/mm] eine rationale Zahl ist... also [mm] $N_k \subseteq \IQ \backslash \{ 0 \}$ [/mm] ist klar, denke ich... und damit wäre alles gezeigt.

[ok]

Lars

Bezug
                                                
Bezug
Indexmenge: Aufgabe beendet
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:14 Do 04.11.2004
Autor: MaggotManson

Ok, danke sehr euch beiden, julius und Gnometech! [daumenhoch]

Gute Nacht
MaggotManson

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Lineare Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]