Undergrad How to visualize 2-form or exterior product?

  • Thread starter Thread starter lriuui0x0
  • Start date Start date
  • Tags Tags
    Product
Click For Summary
Visualizing 2-forms, or the exterior product df ^ dg, can be approached by considering the intersection of contour lines from two functions, f and g. This intersection represents the oriented area defined by the differential forms df and dg. Each grid cell formed by these contour lines can correspond to a unit area, but the limitations of such visualizations should be acknowledged. It is suggested to view df and dg as coordinate vectors rather than infinitesimals for better understanding. Overall, differential forms can also be conceptualized as smooth sections of cotangent bundles, providing a geometric perspective on their visualization.
lriuui0x0
Messages
101
Reaction score
25
We can visualize 1-form by contour lines, since a 1-form / gradient sort of represents how fast the function changes. I wonder whether we can visualize 2-form df ^ dg by intersection of two sets of contour lines for f and g, or maybe something of a similar nature?
 
Physics news on Phys.org
lriuui0x0 said:
We can visualize 1-form by contour lines, since a 1-form / gradient sort of represents how fast the function changes. I wonder whether we can visualize 2-form df ^ dg by intersection of two sets of contour lines for f and g, or maybe something of a similar nature?
It's rather the (oriented) area defined by df and dg.
 
fresh_42 said:
It's rather the (oriented) area defined by df and dg.
Let's say we have a grid of contour lines defined by df and dg, consecutive contour lines have their function values changed by one. Then does each grid cell correspond to area one?
 
lriuui0x0 said:
Let's say we have a grid of contour lines defined by df and dg, consecutive contour lines have their function values changed by one. Then does each grid cell correspond to area one?
Such visualizations have their limits. It is better in this context to consider ##df## and ##dg## as coordinate vectors rather than infinitesimals.

##a_1 \wedge a_2 \wedge \ldots \wedge a_n## is the oriented volume spanned by the vectors ##a_k.## We have ##n=2## here, and ##a_k## are differential ##1-##forms, covectors.

Of course, you can always consider differential forms as smooth sections of cotangent bundles. This is per se a geometric definition, even if a more sophisticated one, but nevertheless, geometric.

Here is a more algebraic description:
https://www.physicsforums.com/insights/pantheon-derivatives-part-iii/
 
Last edited:

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 58 ·
2
Replies
58
Views
5K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
5K
  • · Replies 14 ·
Replies
14
Views
4K