Hallo,
nehmen wir an, dass es sich bei \( V \) um einen endlichendimensionalen Vektorraum handelt. Da der Endomorphismus \( f \) selbstadjungiert ist, gibt es eine Orthonormalbasis aus Eigenvektoren von \( f \), die \( b_i \) seien.
Wir zerlegen \( v \) in \( v = \sum_i\limits \langle v, b_i \rangle b_i \) und erhalten \( f(v) = \sum_i\limits \langle v, b_i \rangle f(b_i) \).
Wir berechnen nun
\( \langle v, f(v) \rangle = \left\langle \sum_i\limits \langle v, b_i \rangle b_i, \sum_j\limits \langle v, b_j \rangle f(b_j) \right\rangle \)
\( = \sum_{ij} \langle v, b_i \rangle \langle v, b_j \rangle \langle b_i, f(b_j) \rangle \)
\( = \sum_{ij} \langle v, b_i \rangle \langle v, b_j \rangle \lambda_j \langle b_i, b_j \rangle \)
\( \leq \lambda \sum_{ij} \langle v, b_i \rangle \langle v, b_j \rangle \langle b_i, b_j \rangle \)
\( = \lambda \sum_{i} \langle v, b_i \rangle \langle v, b_j \rangle \)
\( = \lambda \langle v, v \rangle \)
und beachten \( \langle v, v \rangle \geq 0 \). Ist \( \lambda \) der kleinste Eigenwert von \( f \), in der Aufgabe wird dieser als \( \mu \) bezeichnet, so ändert sich entsprechend das Zeichen \( \leq \) zu \( \geq \).
Mister