Πίνακας

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

mick7
Δημοσιεύσεις: 1431
Εγγραφή: Παρ Δεκ 25, 2015 4:49 am

Πίνακας

#1

Μη αναγνωσμένη δημοσίευση από mick7 » Σάβ Νοέμ 08, 2025 3:40 pm

Έστω x και y δύο μη μηδενικά διανύσματα d-διάστατα που είναι ορθογώνια.

Υπάρχει πίνακας A , ( d×d ) τέτοιος ώστε τα διανύσματα Ax και Ay να μην είναι ορθογώνια;



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

Re: Πίνακας

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Σάβ Νοέμ 08, 2025 10:09 pm

mick7 έγραψε:
Σάβ Νοέμ 08, 2025 3:40 pm
Έστω x και y δύο μη μηδενικά διανύσματα d-διάστατα που είναι ορθογώνια.

Υπάρχει πίνακας A , ( d×d ) τέτοιος ώστε τα διανύσματα Ax και Ay να μην είναι ορθογώνια;
Υπάρχει.

Εφόσον x,y κάθετα, είναι και γραμμικά ανεξάρτητα. Επεκτείνουμε το ζεύγος x,y σε βάση του χώρου. Ορίζουμε τώρα γραμμικό πίνακα A σε όλο τον χώρο ως Ax=x+y, Ay=y και οτιδήποτε (π.χ. 0) στα υπόλοιπα στοιχεία της βάσης. Τότε τα Ax,Ay δεν είναι κάθετα διότι

\langle Ax,Ay \rangle  = \langle x+y,y \rangle  = \langle x,y \rangle  +\langle y,y \rangle  = 0+ ||y||^2  \ne 0.


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

Re: Πίνακας

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Σάβ Νοέμ 08, 2025 10:28 pm

mick7 έγραψε:
Σάβ Νοέμ 08, 2025 3:40 pm
Έστω x και y δύο μη μηδενικά διανύσματα d-διάστατα που είναι ορθογώνια.

Υπάρχει πίνακας A , ( d×d ) τέτοιος ώστε τα διανύσματα Ax και Ay να μην είναι ορθογώνια;
Παραλλαγή του προηγούμενου.

Έστω e οποιοδήποτε μη-μηδενικό διάνυσμα του χώρου. 'Οπως πριν, ορίζουμε τον A γραμμικά αλλά τώρα ως Ax=Ay=e. Είναι τότε

\langle Ax,Ay \rangle  = \langle e,e\rangle  =  ||e||^2  \ne 0.


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

Re: Πίνακας

#4

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Νοέμ 09, 2025 11:49 am

mick7 έγραψε:
Σάβ Νοέμ 08, 2025 3:40 pm
Έστω x και y δύο μη μηδενικά διανύσματα d-διάστατα που είναι ορθογώνια.

Υπάρχει πίνακας A , ( d×d ) τέτοιος ώστε τα διανύσματα Ax και Ay να μην είναι ορθογώνια;
.
Και αλλιώς: Έστω f τυχαίο μη μηδενικό διάνυσμα και έστω e ένα διάνυσμα του χώρου το οποίο δεν είναι κάθετο ούτε στο x ούτε στο y. Tέτοια e υπάρχουν πολλά, π.χ. όλα τα \lambda x + \mu y με \lambda, \, \mu  \ne 0. Ορίζουμε τώρα τον (τάξης 1) πίνακα Au=\langle u,e \rangle f για κάθε u στον χώρο. Είναι τότε

\displaystyle{ \langle Ax, Ay\rangle  = \langle \langle x, e \rangle f, \langle y, e \rangle f \rangle   =\langle x, e \rangle \langle y, e \rangle  ||f ||^2 \ne 0}, διότι εξ επιλογής \langle x, e \rangle \ne 0 \ne \langle y, e \rangle .


Άβαταρ μέλους
abfx
Δημοσιεύσεις: 110
Εγγραφή: Κυρ Μάιος 08, 2022 12:23 pm
Επικοινωνία:

Re: Πίνακας

#5

Μη αναγνωσμένη δημοσίευση από abfx » Τρί Νοέμ 11, 2025 5:13 am

mick7 έγραψε:
Σάβ Νοέμ 08, 2025 3:40 pm
Έστω x και y δύο μη μηδενικά διανύσματα d-διάστατα που είναι ορθογώνια.

Υπάρχει πίνακας A , ( d×d ) τέτοιος ώστε τα διανύσματα Ax και Ay να μην είναι ορθογώνια;
Και ένα κατασκευαστικό παράδειγμα.

Υποθέτοντας ότι δουλεύουμε στον \mathbb R^d μπορούμε να θέσουμε

A= \begin{pmatrix} x_1+y_1 & x_2+y_2 & \dots & x_d+y_d \\ x_1+y_1 & x_2+y_2 & \dots & x_d+y_d\\\vdots & \vdots & \ddots & \vdots \\x_1+y_1 & x_2+y_2 & \dots & x_d+y_d  \end{pmatrix}

όπου

x=\begin{pmatrix} x_1 \\ \vdots \\ x_d \end{pmatrix} και y=\begin{pmatrix} y_1 \\ \vdots \\ y_d \end{pmatrix}.

Προκύπτει \displaystyle \langle Ax, Ay \rangle =n\left( \sum_{i=1}^d x_i^2\right)\left(\sum_{i=1}^d y_i^2 \right)>0.


Άβαταρ μέλους
abfx
Δημοσιεύσεις: 110
Εγγραφή: Κυρ Μάιος 08, 2022 12:23 pm
Επικοινωνία:

Re: Πίνακας

#6

Μη αναγνωσμένη δημοσίευση από abfx » Τρί Νοέμ 11, 2025 5:24 am

mick7 έγραψε:
Σάβ Νοέμ 08, 2025 3:40 pm
Έστω x και y δύο μη μηδενικά διανύσματα d-διάστατα που είναι ορθογώνια.

Υπάρχει πίνακας A , ( d×d ) τέτοιος ώστε τα διανύσματα Ax και Ay να μην είναι ορθογώνια;
Γενικά μπορούμε να επιλέξουμε τον A στην τύχη και να είμαστε "σχεδόν βέβαιοι" ότι θα ικανοποιεί την ζητούμενη ιδιότητα.

Πράγματι, ισχύει m(\{A \in \mathbb R^{d\times d}: \langle Ax , Ay \rangle =0 \})=0 για δοσμένα μη-μηδενικά x,y \in \mathbb R^d,

όπου m(\cdot ) το μέτρο Lebesgue στον \mathbb R^{d^2} .

Το παραπάνω δεν είναι δύσκολο να αποδειχθεί αρκεί να το δει κανείς "σωστά".


Απάντηση

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

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

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