Did I Deduce Problem 4-25 in Spivak's Book Correctly?

  • Context: Graduate 
  • Thread starter Thread starter kakarotyjn
  • Start date Start date
  • Tags Tags
    Book
Click For Summary
SUMMARY

The discussion centers on the evaluation of integrals of k-forms over singular k-cubes using a 1-1 function p that maps [0,1]^k onto itself. The integral equality established is ∫_c ω = ∫_{c ∘ p} ω, where the transformation theorem is crucial for proving this relationship. The participants confirm the correctness of the deduction and emphasize the necessity of applying the transformation theorem on the function p as the final step in the proof process.

PREREQUISITES
  • Understanding of k-forms in differential geometry
  • Familiarity with the transformation theorem in calculus
  • Knowledge of singular k-cubes and their properties
  • Proficiency in evaluating integrals over multi-dimensional spaces
NEXT STEPS
  • Study the transformation theorem in detail, focusing on its applications in calculus
  • Explore the properties of k-forms and their integrals in differential geometry
  • Investigate singular k-cubes and their significance in topology
  • Practice problems involving the evaluation of integrals using 1-1 mappings
USEFUL FOR

Mathematicians, students of advanced calculus, and anyone studying differential geometry or topology will benefit from this discussion.

kakarotyjn
Messages
95
Reaction score
0
Let c be a singular k-cube and [tex]p:[0,1]^k \to [0,1]^k[/tex] a 1-1 function such that [tex]p([0,1]^k ) = [0,1]^k<br /> [/tex] and [tex]\operatorname{det} p'(x) \ge 0[/tex] for [tex]x \in [0,1]^k[/tex].If [tex]\omega[/tex] is a k-form,show that [tex] <br /> \int\limits_c \omega = \int\limits_{c \circ p} \omega[/tex]

Note that
[tex]\int\limits_c \omega = \int\limits_{[0,1]^k } {c*\omega } = \int\limits_{[0,1]^k } {(f \circ c)(\det c')dx^1<br /> <br /> \wedge ... \wedge dx^k }[/tex]
[tex]\int\limits_{c \circ p} \omega = \int\limits_{[0,1]^k } {(c \circ p)*\omega } = \int\limits_{[0,1]^k } {(f \circ c<br /> <br /> \circ p)(\det (c \circ p)')dx^1 \wedge ... \wedge dx^k } = \int\limits_{[0,1]^k } {(f \circ c \circ p)((\det c') \cdot<br /> <br /> (\det p'))dx^1 \wedge ... \wedge dx^k }[/tex]

did I deduce it right?If it's right,how to prove
 
Last edited by a moderator:
Physics news on Phys.org
Looks good, but you have to apply the transformation theorem on ##p## as the final step.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K