Deciphering Notation for Linear Operators in Inner Product Spaces

Click For Summary

Homework Help Overview

The discussion revolves around understanding the notation related to linear operators in the context of inner product spaces, specifically focusing on a theorem from a linear algebra textbook. The theorem involves the adjoint of a linear operator multiplied by a scalar and its relationship to the adjoint of the operator itself.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the interpretation of the notation for the left-hand side of the theorem, questioning how it relates to the right-hand side. There is an attempt to define a new operator based on the scalar multiplication and its adjoint.

Discussion Status

The discussion has progressed with some participants providing interpretations of the notation and clarifying the relationship between linear operators and their adjoints. There is acknowledgment of differing interpretations of notation, and some guidance has been offered regarding the relevance of definitions in this context.

Contextual Notes

Participants note the potential ambiguity in the notation used in the textbook and express uncertainty about universal agreement on its interpretation. There is also mention of the distinction between linear transformations and matrix representations, which may affect understanding.

Defennder
Homework Helper
Messages
2,590
Reaction score
4

Homework Statement


This is from a linear algebra textbook I'm reading. I don't know whether there is universal agreement as to how notation should read for this, so this thread may well be meaningless. But I'll just post it to see if anyone can decipher what the question means. I'm asked to prove it, by the way, but I can't do so unless I understand the notation:

Theorem 6.11 Let V be an inner product space, and let T and U be linear operators on V. Then
(b)[tex](cT)^* = \bar{c}T^* \ \mbox{for any c} \ \in F[/tex]


Homework Equations


The Attempt at a Solution


I can understand the RHS of the question; that for a vector u in V, [tex]\bar{c}T^*(\vec{u})[/tex]. The * here denotes adjoint of the linear operator T, but how do I interpret the LHS? It clearly cannot be [tex]cT^*(\vec{u})[/tex]. Elsewhere, the book uses A* for a matrix A to denote the conjugate transpose of A, where every entry in A* is the complex transpose of the complex conjugate of the corresponding entry in A. But that can't be the interpretation either since if that is so, the LHS would be a row vector while the RHS a column vector.
 
Physics news on Phys.org
For the left hand side: define a new linear operator [itex]S := c T[/itex]. Then the left hand side is [itex]S^*[/itex], so the adjoint of this new operator.

The proof is easy by the way, just writing out a string of identities which follow from known (defining) properties.
 
Defennder said:

Homework Statement


This is from a linear algebra textbook I'm reading. I don't know whether there is universal agreement as to how notation should read for this, so this thread may well be meaningless. But I'll just post it to see if anyone can decipher what the question means. I'm asked to prove it, by the way, but I can't do so unless I understand the notation:

Theorem 6.11 Let V be an inner product space, and let T and U be linear operators on V. Then
(b)[tex](cT)^* = \bar{c}T^* \ \mbox{for any c} \ \in F[/tex]


Homework Equations


The Attempt at a Solution


I can understand the RHS of the question; that for a vector u in V, [tex]\bar{c}T^*(\vec{u})[/tex]. The * here denotes adjoint of the linear operator T, but how do I interpret the LHS? It clearly cannot be [tex]cT^*(\vec{u})[/tex]. Elsewhere, the book uses A* for a matrix A to denote the conjugate transpose of A, where every entry in A* is the complex transpose of the complex conjugate of the corresponding entry in A. But that can't be the interpretation either since if that is so, the LHS would be a row vector while the RHS a column vector.
?T is a linear operator. cT is the linear operator that maps vector v into c(T(v)). (cT)* is the adjoint of that operator. You say yourself "The * here denotes adjoint of the linear operator T". The fact that "Elsewhere, the book uses A* for a matrix A to denote the conjugate transpose of A, where every entry in A* is the complex transpose of the complex conjugate of the corresponding entry in A. " is not relevant here because you are talking about linear transformations, not matrices. Use the interpretation that is relevant.

(Given a specific basis, a linear transformation can be written as a matrix. The two interpretations of "*" then coincide: the "adjoint of the linear transformation" has matrix (in that same basis) that is the "adjoint of the (original) matrix.)
 
I got it. The problem was that I didn't know how to interpret the notation. Thanks.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K