This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: 3.1. EXTERIOR ALGEBRA 59 Also, there holds i 1 ... i p j 1 ... j p = p ! i 1 [ j 1 i p j p ] . Thus, the Kronecker symbols i 1 ... i p j 1 ... j p are the components of the tensors p !Alt( I I  {z } p ) of type ( p , p ), which are antisymmetric separately in upper indices and the lower indices. Thus, the antisymmetrization can also be written as T [ i 1 ... i p ] = 1 p ! j 1 ... j p i 1 ... i p T j 1 ... j p . Notation. Obviously, the Kronecker symbols vanish for p > n i 1 ... i p j 1 ... j p = if p > n . The contraction of Kronecker symbols gives Kronecker symbols with lower indices, more precisely, we have the theorem. Theorem 3.1.2 For any p , q N , 1 p , q n, there holds i 1 ... i p l 1 ... l q j 1 ... j p l 1 ... l q = ( n p )! ( n q )! i 1 ... i p j 1 ... j p . Proof : 1. Corollary 3.1.1 For any q N , 1 q n we have i 1 ... i q i 1 ... i q = n !...
View
Full
Document
 Spring '10
 Wong
 Algebra, Geometry

Click to edit the document details