Τάξη του AB

Συντονιστής: Demetres

Mathletic
Δημοσιεύσεις: 275
Εγγραφή: Πέμ Μαρ 21, 2013 11:25 pm

Τάξη του AB

#1

Μη αναγνωσμένη δημοσίευση από Mathletic »

Γεία σας!

Έστω \mathbb{K} ένα σώμα και A\in \mathbb{K}^{p\times q} και B\in \mathbb{K}^{q\times r}.

Θέλω να δείξω ότι \text{Rank}(AB)\leq \text{Rank}(A) και \text{Rank}(AB)\leq \text{Rank}(B).

Πολλαπλασιάζοντας δύο πίνακες AB = C, έχουμε ότι AB_i = C_i, δηλαδή κάθε στήλη του C είναι γραμμικός συνδυασμός των στηλών του A, σωστά;

Το \text{Rank}(AB) είναι ο αριθμός των γραμμικά ανεξάρτητων στηλών του AB.
Ισχύει ότι ο αριθμός αυτός είναι μικρότερος από τον αριθμό των γραμμικά ανεξάρτητων στηλών του A ;

Μήπως επειδή στον γραμμικό συνσδασμό κάποιες σταθερές ίσως να είναι μηδέν;

Ετικέτες:
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18618
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Τάξη του AB

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Mathletic έγραψε:Γεία σας!

Έστω \mathbb{K} ένα σώμα και A\in \mathbb{K}^{p\times q} και B\in \mathbb{K}^{q\times r}.

Θέλω να δείξω ότι \text{Rank}(AB)\leq \text{Rank}(A) και \text{Rank}(AB)\leq \text{Rank}(B).

Πολλαπλασιάζοντας δύο πίνακες AB = C, έχουμε ότι AB_i = C_i, δηλαδή κάθε στήλη του C είναι γραμμικός συνδυασμός των στηλών του A, σωστά;

Το \text{Rank}(AB) είναι ο αριθμός των γραμμικά ανεξάρτητων στηλών του AB.
Ισχύει ότι ο αριθμός αυτός είναι μικρότερος από τον αριθμό των γραμμικά ανεξάρτητων στηλών του A ;

Μήπως επειδή στον γραμμικό συνσδασμό κάποιες σταθερές ίσως να είναι μηδέν;
Σωστά όλα αυτά αλλά και άσχετα με την λύση.

Το ζητούμενο είναι ΑΠΟΛΥΤΑ τετριμμένο. Όπως μας έχεις συνηθίσει, γράφεις στο φόρουμ σκεπτόμενος φωναχτά παρά τις συνεχείς εκκλήσεις για το αντίθετο.

Θα δώσω μόνο υπόδειξη λόγω ακριβώς του τετριμμένου του ερωτήματος: Εξ ορισμού η τάξη ενός πίνακα είναι η διάσταση της εικόνας του. Εσύ πώς βλέπεις τις εικόνες των AB και A; Σχετίζονται; Σαν σύνολα έχουν κάποια σχέση;
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Τάξη του AB

#3

Μη αναγνωσμένη δημοσίευση από Demetres »

Mathletic έγραψε: Πολλαπλασιάζοντας δύο πίνακες AB = C, έχουμε ότι AB_i = C_i, δηλαδή κάθε στήλη του C είναι γραμμικός συνδυασμός των στηλών του A, σωστά;

Το \text{Rank}(AB) είναι ο αριθμός των γραμμικά ανεξάρτητων στηλών του AB.
Ισχύει ότι ο αριθμός αυτός είναι μικρότερος από τον αριθμό των γραμμικά ανεξάρτητων στηλών του A ;
Ναι (μικρότερος ή ίσος για την ακρίβεια) και έπρεπε να είναι προφανές.
Mathletic
Δημοσιεύσεις: 275
Εγγραφή: Πέμ Μαρ 21, 2013 11:25 pm

Re: Τάξη του AB

#4

Μη αναγνωσμένη δημοσίευση από Mathletic »

Έστω y\in \text{im}(AB) τότε υπάρχει διάνυσμα x τέτοιο ώστε ABx=y. Άρα y=A(Bx). Τότε y\in \text{im}(A).

Οπότε \text{im}(AB)\subseteq \text{im}(A) \Rightarrow \text{dim}(\text{im}(AB))\leq \text{dim}(\text{im}(A)) \Rightarrow \text{Rank}(AB)\leq \text{Rank}(A).

Σωστά;

Δεν μπορούμε να δείξουμε με τον ίδιο τρόπο ότι \text{Rank}(AB)\leq \text{Rank}(B), σωστά;
Mathletic
Δημοσιεύσεις: 275
Εγγραφή: Πέμ Μαρ 21, 2013 11:25 pm

Re: Τάξη του AB

#5

Μη αναγνωσμένη δημοσίευση από Mathletic »

Μήπως μπορούμε να δείξουμε την δεύτερη σχέση ως εξής:
\text{Rank}(AB)=\text{Rank}((AB)^T)=\text{Rank}(B^TA^T)\leq \text{Rank}(B^T)=\text{Rank}(B)
;
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18618
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Τάξη του AB

#6

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Mathletic έγραψε:Έστω y\in \text{im}(AB) τότε υπάρχει διάνυσμα x τέτοιο ώστε ABx=y. Άρα y=A(Bx). Τότε y\in \text{im}(A).

Οπότε \text{im}(AB)\subseteq \text{im}(A) \Rightarrow \text{dim}(\text{im}(AB))\leq \text{dim}(\text{im}(A)) \Rightarrow \text{Rank}(AB)\leq \text{Rank}(A).

Σωστά;
Σωστά.

:10sta10:

Ελπίζω να αντιλαμβάνεσαι γιατί ενθαρρύνω τόσο επιτακτικά να αφιερώνεις περισσότερο χρόνο στην επίλυση κεντρικών θεμάτων.

Δεν είναι πιο καλά τώρα που έλυσες μόνος σου το ερώτημα παρά να σου δίναμε έτοιμη λύση για κάτι απλό;
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18618
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Τάξη του AB

#7

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Mathletic έγραψε:Μήπως μπορούμε να δείξουμε την δεύτερη σχέση ως εξής:
\text{Rank}(AB)=\text{Rank}((AB)^T)=\text{Rank}(B^TA^T)\leq \text{Rank}(B^T)=\text{Rank}(B)
;
Ακριβώς. Η δεύτερη σχέση είναι πόρισμα/αναδιατύπωση της πρώτης.
Mathletic
Δημοσιεύσεις: 275
Εγγραφή: Πέμ Μαρ 21, 2013 11:25 pm

Re: Τάξη του AB

#8

Μη αναγνωσμένη δημοσίευση από Mathletic »

Ωραία. Ευχαριστώ πολύ! :D
Απάντηση

Επιστροφή στο “ΑΛΓΕΒΡΑ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης