Prove Weighted Unit Circle Ellipse: Inner Product on lR^2

Click For Summary
SUMMARY

The discussion centers on proving that the unit circle defined by the non-standard inner product \( v_1 w_1 - v_1 w_2 - v_2 w_1 + 4 v_2 w_2 \) in \( lR^2 \) represents an ellipse. Participants explored the norm squared of this inner product and suggested alternative methods, such as comparing it to the \( l_2 \) and \( l_\infty \) inner products. The conclusion emphasizes that the set of vectors satisfying the unit length condition forms an ellipse, with the possibility of using an orthonormal basis for further simplification.

PREREQUISITES
  • Understanding of inner products in vector spaces
  • Familiarity with norms and their properties
  • Knowledge of \( lR^2 \) and its geometric interpretations
  • Basic concepts of ellipses and their mathematical definitions
NEXT STEPS
  • Explore the properties of non-standard inner products in vector spaces
  • Learn about the geometric interpretation of norms in \( lR^2 \)
  • Investigate the relationship between different inner products, specifically \( l_2 \) and \( l_\infty \)
  • Study orthonormal bases and their applications in simplifying inner product spaces
USEFUL FOR

Mathematicians, students of linear algebra, and anyone interested in advanced vector space concepts and geometric interpretations of inner products.

Mindscrape
Messages
1,854
Reaction score
1
Prove that the unit circle, for an inner product on lR^2 is defined as the set of all vectors of unit length ||v|| = 1, of the non-standard inner product v_1 w_1-v_1 w_2 - v_2 w_1 + 4 v_2 w_2 is an ellipse.

I know that norm squared will be (v_1 w_1-v_1 w_2 - v_2 w_1 + 4 v_2 w_2) (v_1 w_1-v_1 w_2 - v_2 w_1 + 4 v_2 w_2), but I don't really want to multiply that all out to show that it looks like an ellipse. Is there a better way, maybe manipulating the inner product somehow?
 
Last edited:
Physics news on Phys.org
I figured out another way. Take the dot product (l_2) in |R^2 and compare it with the l_infty inner product.

B_2 = set(v \in lR^2 | v_1^2 + v_2^2 = 1)
B_\infty = set(v \in lR^2 | max(|v_1|,|v_2|) = 1)

Everything in between will be an ellipse.
 
Last edited:
Sounds awkward to me! Have you considered just looking at an orthonormal basis in that inner product?
 

Similar threads

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