From the Heisenberg group to Carnot groups
|
|
- Warren Clarke
- 5 years ago
- Views:
Transcription
1 From the Heisenberg group to Carnot groups p. 1/47 From the Heisenberg group to Carnot groups Irina Markina, University of Bergen, Norway Summer school Analysis - with Applications to Mathematical Physics Göttingen August 29 - September 2, 2011
2 From the Heisenberg group to Carnot groups p. 2/47 Simplest example of a sub-riemannian manifold Let M = R 3, q = (x,y,t), D = span{x,y} X = x 1 2 y t, Y = y x t. The metric g D is such that g D = ( ). (R 3,D,g D ) is the sub-riemannian manifold
3 From the Heisenberg group to Carnot groups p. 3/47 Example of a sub-riemannian manifold D is bracket generating, since [X,Y] = t := T and T q R 3 = span{x,y,t} for all q = (x,y,t) R 3.
4 Contact manifold It is contact manifold (M,ω), where M is a manifold of dimm = 2n+1 and ω (dω) n 0. The distribution D is the kernel of ω
5 From the Heisenberg group to Carnot groups p. 4/47 Contact manifold It is contact manifold (M,ω), where M is a manifold of dimm = 2n+1 and ω (dω) n 0. The distribution D is the kernel of ω and dual basis X = x 1 2 y t, Y = y x t, T = t dx, dy, ω = dt 1 2 xdy ydx D = span{ω} ω (dω) = dx dy dt.
6 From the Heisenberg group to Carnot groups p. 5/47 Geodesics D is strongly bracket generating, so all geodesics are normal. Write λ = ξdx+ηdy +θdt for λ TqM. H(q,λ) = 1 2 ( λ,x 2 +( λ,y 2 ) = 1 2 ((ξ 1 2 θy)2 +(η+ 1 2 θx)2 ). The Hamiltonian system and the initial conditions are ẋ = ξ 1 2 θy ẏ = η θx ṫ = 1 2 (ηx ξy)+ 1 4 θ(x2 +y 2 ) ξ = 1 2 ηθ 1 4 θx η = 1 2 ξθ 1 4 θy θ = 0, { x = y = t = 0, ξ = ξ 0, η = η 0, θ = θ 0.
7 From the Heisenberg group to Carnot groups p. 6/47 Geodesics We need projections of the bi-characteristic of H to R 3, so we reduce the Hamiltonian system to the system containing only the variables (x, y, t). {ẍ = θ0 ẏ ÿ = θ 0 ẋ, or ( ẍ ÿ ) = θ 0 ( )( ẋ ẏ Then multiplying the fist equation by y and the second by x we notice that the third equation is equivalent to the condition ṫ(s) = 1 2 (x(s)ẏ(s) y(s)ẋ(s)). ).
8 From the Heisenberg group to Carnot groups p. 7/47 Geodesics The solution is x(s) = ξ 0 θ 0 sin( θ 0 s) η 0 θ 0 (cos( θ 0 s) 1), y(s) = ξ 0 θ 0 (cos( θ 0 s) 1) η 0 θ 0 sin( θ 0 s), t(s) = (ξ2 0+η0) 2 2 θ 0 ( θ 2 0 s sin( θ 0 s)), if θ 0 0 and x(s) = ξ 0 s, y(s) = η 0 s, t(s) = 0, if θ 0 = 0.
9 Geodesics From the Heisenberg group to Carnot groups p. 8/47
10 From the Heisenberg group to Carnot groups p. 9/47 Geodesics ċ(s) = ẋ(s) x +ẏ(s) y +ṫ(s) t = ẋ(s) ( x 1 2 y(s) ) t + ẏ(s) ( y x(s) ) t + ( ṫ(s)+ 1 2ẋ(s)y(s) 1 2ẏ(s)x(s)) t = ẋ(s)x(c(s))+ẏ(s)y(c(s)) + ( ṫ(s)+ 1 2ẋ(s)y(s) 1 2ẏ(s)x(s)) T(c(s)). The curve is horizontal if and only if ṫ(s)+ 1 2ẋ(s)y(s) 1 2ẏ(s)x(s) = 0 or ω(ċ) = 0
11 From the Heisenberg group to Carnot groups p. 10/47 Geodesics It is known that in the Riemannian geometry if the neighborhood is small enough, then any two point can be connected by unique geodesic. It is not the case in sub-riemannian geometry! Take q 0 = (0,0,0) and q 1 = (x,y,t), x 2 +y 2 = 0. Then 0 = x 2 +y 2 = sin2 ( θ 0 ) θ 0 2 (ξ 2 0 +η 2 0) = θ 0 = 2πn, n N. t = 1 4 (ξ2 0 +η 2 0)
12 Heisenberg group = 1 x y t y x x 1 y 1 t y x x+x 1 y +y 1 t+t (xy 1 x 1 y) y+y x+x
13 From the Heisenberg group to Carnot groups p. 11/47 Heisenberg group = 1 x y t y x x 1 y 1 t y x x+x 1 y +y 1 t+t (xy 1 x 1 y) y+y x+x (x,y,t) (x 1,y 1,t 1 ) = (x+x 1,y +y 1,t+t (xy 1 x 1 y))
14 From the Heisenberg group to Carnot groups p. 12/47 Heisenberg group (R 3,+) (R 3, ) τ q = (x,y,t) (x 1,y 1,t 1 ) = (x+x 1,y+y 1,t+t (xy 1 x 1 y)). e = (0,0,0), τ 1 = ( x, y, t) So H 1 = (R 3, ) is non Abelian Lie group, dl τ = y 1 2 x 1. l τ (q) = τ q.
15 From the Heisenberg group to Carnot groups p. 13/47 dl τ = dl τ = dl τ = y 1 2 x y 1 2 x y 1 2 x = = [X,Y] = T Left invariant basis y x = = x 1 2 y t = X = x x t = Y = t = T
16 From the Heisenberg group to Carnot groups p. 14/47 Exponential map g 0 X tx exp G e τ exp: g G X τ
17 From the Heisenberg group to Carnot groups p. 15/47 Sophus Lie and Werner Heisenberg
18 Baker-Campbell-Hausdorff formula Coordinates of the first kind on H 1 H 1 q = (x,y,t) = exp(xx+yy +tt), xx+yy +tt h 1. [X,Y] = T
19 From the Heisenberg group to Carnot groups p. 16/47 Baker-Campbell-Hausdorff formula Coordinates of the first kind on H 1 H 1 q = (x,y,t) = exp(xx+yy +tt), xx+yy +tt h 1. [X,Y] = T Let V = xx +yy +tt, V 1 = x 1 X +y 1 Y +t 1 T τq = exp(v)exp(v 1 ) = exp(v +V [V,V 1]+...) = exp ( (x+x 1 )X +(y +y 1 )Y +(t+t 1 )T (xy 1 x 1 y)t ) = ( x+x 1,y +y 1,t+t (xy 1 x 1 y) ),
20 Norm and dilation (R 3,+, E ) (R 3,, H 1) q H 1 = ( (x 2 +y 2) 2 +t 2) 1/4.
21 From the Heisenberg group to Carnot groups p. 17/47 Norm and dilation (R 3,+, E ) (R 3,, H 1) ( (x q H 1 = 2 +y 2) 2 1/4. +t 2) δ s (q) E = (sx,sy,st) E = s q E. δ s (q) H 1 = (sx,sy,s 2 t) H 1 = s q H 1.
22 From the Heisenberg group to Carnot groups p. 18/47 Norm, dilation and distance (R 3,+, E ) (R 3,, H 1) ( (x q H 1 = 2 +y 2) 2 1/4. +t 2) δ s (q) E = (sx,sy,st) E = s q E. δ s (q) H 1 = (sx,sy,s 2 t) H 1 = s q H 1. d E (q 0,q 1 ) = q 0 q 1 E d H 1(q 0,q 1 ) = q 0 q 1 1 H 1
23 From the Heisenberg group to Carnot groups p. 19/47 Norm, dilation and distance (R 3,+, E ) (R 3,, H 1) q H 1 = ( (x 2 +y 2) 2 +t 2) 1/4. δ s (τ) E = (sx,sy,st) E = s τ E. δ s (τ) H 1 = (sx,sy,s 2 t) H 1 = s τ H 1. d E (q 0,q 1 ) = q 0 q 1 E Moreover d H 1(q 0,q 1 ) = q 0 q 1 1 H 1 d H 1(q 0,q 1 ) d c c (q 0,q 1 )
24 From the Heisenberg group to Carnot groups p. 20/47 Balls The Euclidean, Heisenberg, and Carnot-Carathéodory balls
25 Isoperimetric problem From the Heisenberg group to Carnot groups p. 21/47
26 Isoperimetric problem From the Heisenberg group to Carnot groups p. 22/47
27 Isoperimetric problem Given a curve c of the fixed length l and the straight line L (a part of Mediterranean sea-shore), put one end of c to L and determine the form of the figure that enclose the maximal area
28 From the Heisenberg group to Carnot groups p. 23/47 Isoperimetric problem Given a curve c of the fixed length l and the straight line L (a part of Mediterranean sea-shore), put one end of c to L and determine the form of the figure that enclose the maximal area c half circle length l(c) is fixed Area is maximal L Solution of the isoperimetric problem
29 From the Heisenberg group to Carnot groups p. 24/47 Dual isoperimetric problem dt = 1 2 (xdy ydx) is the area form. dt L = 0 for all straight line L passing through the origin. y c A(c) L 0 x Area A(c) is fixed Length l(c) is minimal Minimize the length l(c) of a curve c, under the condition that the enclosed area A(c) is constant A(c) = 1 2 c (xdy ydx), l(c) = c ẋ2 +ẏ 2 ds
30 From the Heisenberg group to Carnot groups p. 25/47 Isoperimetric problem Add the third coordinate t such that ṫ(s) = 1 2 ( ) x(s)ẏ(s) y(s)ẋ(s) for all s I. Then we lift the curve c R 2 up to a curve γ R 3
31 From the Heisenberg group to Carnot groups p. 26/47 Isoperimetric problem We want to preserve the length of the planar curve c. l(c) = l(γ) = ẋ2 +ẏ 2 ds It will be true if γ D γ, where D(x,y,t) = ker(ω) = ker ( dt 1 2 (xdy ydx)),
32 From the Heisenberg group to Carnot groups p. 27/47 Generalizations of the Heisenberg group At the level of groups (R 2+1, ) (R n+m, ) At the level of algebras (V 1 V 2, [X,Y] = T) (V 1 V 2,[V 1,V 1 ] V 2 ) or more general V 1 V 2... V m, [V 1,V 1 ] V 2 [V 1,V 2 ] = V 3... V m = [V 1,V m 1 ]
33 From the Heisenberg group to Carnot groups p. 28/47 Cayley-Dickson construction What are real numbers R?
34 From the Heisenberg group to Carnot groups p. 28/47 Cayley-Dickson construction What are real numbers R? What are complex numbers C?
35 From the Heisenberg group to Carnot groups p. 28/47 Cayley-Dickson construction What are real numbers R? What are complex numbers C? It is a pair (a,b) of real numbers a,b R,
36 From the Heisenberg group to Carnot groups p. 28/47 Cayley-Dickson construction What are real numbers R? What are complex numbers C? It is a pair (a,b) of real numbers a,b R, a = a conjugate to a real number,
37 From the Heisenberg group to Carnot groups p. 28/47 Cayley-Dickson construction What are real numbers R? What are complex numbers C? It is a pair (a,b) of real numbers a,b R, a = a conjugate to a real number, (a,b) = (a, b) is conjugate to a complex number,
38 From the Heisenberg group to Carnot groups p. 28/47 Cayley-Dickson construction What are real numbers R? What are complex numbers C? It is a pair (a,b) of real numbers a,b R, a = a conjugate to a real number, (a,b) = (a, b) is conjugate to a complex number, multiplication (a,b)(c,d) = (ac db,a d+cb).
39 From the Heisenberg group to Carnot groups p. 29/47 Quaternions H It is a pair (a,b) of complex numbers a,b C,
40 From the Heisenberg group to Carnot groups p. 29/47 Quaternions H It is a pair (a,b) of complex numbers a,b C, (a,b) = (a, b) is conjugate to a quaternion,
41 From the Heisenberg group to Carnot groups p. 29/47 Quaternions H It is a pair (a,b) of complex numbers a,b C, (a,b) = (a, b) is conjugate to a quaternion, with the multiplication (a,b)(c,d) = (ac db,a d+cb).
42 From the Heisenberg group to Carnot groups p. 29/47 Quaternions H It is a pair (a,b) of complex numbers a,b C, (a,b) = (a, b) is conjugate to a quaternion, with the multiplication (a,b)(c,d) = (ac db,a d+cb). Sir William Rowan Hamilton,
43 From the Heisenberg group to Carnot groups p. 30/47 Octonions On December 26, 1843 John T. Graves wrote to W. Hamilton describing a new 8-dimensional algebra. In March of 1845, Arthur Cayley published a paper in the Philosophical Magazine where a brief description of the octonions contained.
44 From the Heisenberg group to Carnot groups p. 31/47 Octonions O It is a pair (a,b) of quaternion numbers a,b H,
45 From the Heisenberg group to Carnot groups p. 31/47 Octonions O It is a pair (a,b) of quaternion numbers a,b H, (a,b) = (a, b) is conjugate to an octonion,
46 From the Heisenberg group to Carnot groups p. 31/47 Octonions O It is a pair (a,b) of quaternion numbers a,b H, (a,b) = (a, b) is conjugate to an octonion, with the multiplication (a,b)(c,d) = (ac db,a d+cb).
47 From the Heisenberg group to Carnot groups p. 31/47 Octonions O It is a pair (a,b) of quaternion numbers a,b H, (a,b) = (a, b) is conjugate to an octonion, with the multiplication (a,b)(c,d) = (ac db,a d+cb)....
48 From the Heisenberg group to Carnot groups p. 32/47 Properties we loose R division algebra, associative, commutative, self conjugate,
49 From the Heisenberg group to Carnot groups p. 32/47 Properties we loose R division algebra, associative, commutative, self conjugate, C division algebra, associative, commutative,
50 From the Heisenberg group to Carnot groups p. 32/47 Properties we loose R division algebra, associative, commutative, self conjugate, C division algebra, associative, commutative, H division algebra, associative,
51 From the Heisenberg group to Carnot groups p. 32/47 Properties we loose R division algebra, associative, commutative, self conjugate, C division algebra, associative, commutative, H division algebra, associative, O division algebra,
52 From the Heisenberg group to Carnot groups p. 32/47 Properties we loose R division algebra, associative, commutative, self conjugate, C division algebra, associative, commutative, H division algebra, associative, O division algebra, if xy = 0, then x = 0 or y = 0.
53 From the Heisenberg group to Carnot groups p. 33/47 Unities R has only one 1 = (1,0), 1 2 = 1. Imaginary part has dimension 0.
54 From the Heisenberg group to Carnot groups p. 33/47 Unities R has only one 1 = (1,0), 1 2 = 1. Imaginary part has dimension 0. C: 1 = (1,0), 1 2 = 1 and i = (0,1), i 2 = 1. Imaginary part has dimension 1. z = a+ib = Rez +iimz, a,b R.
55 From the Heisenberg group to Carnot groups p. 34/47 Unities H: 1 = (1,0), 1 2 = 1 and i 1 = (i,0), i 2 = (0,1), i 3 = (0,i), i 2 1 = i 2 2 = i 2 3 = 1.
56 From the Heisenberg group to Carnot groups p. 34/47 Unities H: 1 = (1,0), 1 2 = 1 and i 1 = (i,0), i 2 = (0,1), i 3 = (0,i), i 2 1 = i 2 2 = i 2 3 = 1. q = a+i 1 b+i 2 c+i 3 d = Req +i 1 Im 1 q +i 2 Im 2 q +i 3 Im 3 q, a,b,c,d R.
57 From the Heisenberg group to Carnot groups p. 35/47 Memorial desk Figure 5: i 2 1 = i 2 2 = i 2 3 = 1.
58 From the Heisenberg group to Carnot groups p. 36/47 Unities O: 1 = (1,0), 1 2 = 1 and with j 1 = (i 1,0), j 2 = (i 2,0), j 3 = (i 3,0), j 4 = (0,1), j 5 = (0,i 1 ), j 6 = (0,i 2 ), j 7 = (0,i 3 ), j1 2 = j2 2 = j3 2 = j4 2 = j5 2 = j6 2 = j7 2 = 1. Imaginary part has dimension 7.
59 From the Heisenberg group to Carnot groups p. 37/47 Euclidean space Lie group (R n,+) with the identity element e = 0 The exponential map exp: R n T e R n is the identity map, so we identify elements of algebra with elements of the group. The algebra consists of constant vector fields X k = x k = x k. Since [ x k, x l] = 0, the Lie algebra of (R n,+) is V 1 V 2, V 1 = R n, V 2 = {0}.
60 From the Heisenberg group to Carnot groups p. 38/47 Heisenberg group H z = (x,y) C, t R, w = (a,b) C, s R (z,t) (w,s) = ( z +w,t+s+ 1 2 Im(z w) ) 1 2 Im(z w) = 1 ( ( 0 1 w Tr Jz ), J = )
61 From the Heisenberg group to Carnot groups p. 39/47 Quaternion H-type group q H, t 1,t 2,t 3 R, h H, s 1,s 2,s 3 R (q,t 1,t 2,t 3 ) (h,s 1,s 2,s 3 ) ( q +h, t 1 +s Im 1(q h), t 2 +s Im 2(q h), t 3 +s Im 3(q h) )
62 From the Heisenberg group to Carnot groups p. 40/47 Skew symmetric forms i 1 = , i 2 = , i 3 =
63 From the Heisenberg group to Carnot groups p. 41/47 Octonion H-type group p O, t = (t 1,...,t 7 ) R 7, r O, s = (s 1,...,s 7 ) R 7. (p,t) (r,s) = ( p+r,t+s+ 1 2 Im(p r) ), where Im(pr r) = ( Im 1 (p r),...,im 7 (p r) )
64 From the Heisenberg group to Carnot groups p. 42/47 Lie algebras of H-types Lie algebras are of two steps V 1 V 2, where V 1 = R, C, H or O and V 2 = {0}, R 1, R 3 or R 7 [V 1,V 1 ] = V 2 The horizontal distribution D is the left translation of V 1 The sub-riemannian metric g D is just Euclidean metric on D
65 From the Heisenberg group to Carnot groups p. 43/47 Two step Carnot groups are groups G = R α+β whose algebras g are nilpotent of step 2, graded, stratified: g = V 1 V 2, [V 1,V 1 ] V 2, [V 1,V 2 ] = {0}. If (v 1,v 2 ),(v 1,v 2 ) V 1 V 2, then [ (v1,v 2 ),(v 1,v 2) ] = (0,Ω(v 1,v 1)), where Ω: R α R α R β is a R β -valued skew symmetric form. If τ = (x,t), q = (x 1,t 1 ) G, then τq = (x,t)(x 1,t 1 ) := (x+x 1,t+t Ω(x,x 1)).
66 From the Heisenberg group to Carnot groups p. 44/47 Siegel upper half space Let (q 1,q 2 ) K, K = C 2, H 2 or O 2. The Siegel upper half space is U = {(q 1,q 2 ) K : 4Req 2 > q 1 2 }. Let [w,t] H-type group. Groups H act on U by [w,t].(q 1,q 2 ) (q 1 +w,q 2 + w w q 1 +i t), i t = dimv 2 l=1 i k t k.
67 From the Heisenberg group to Carnot groups p. 45/47 Siegel upper half space This mapping preserves the "height" function r(q 1,q 2 ) = 4Req 2 q 1 2. Action of H preserves the boundary U. H [w,t] (w, w 2 +it) U by action on (0,0) H(eisenberg) coordinates U (q 1,q 2 ) = (q 1,t,r), t k = Im k (q 2 ), r(q 1,q 2 ) = 4Re(q 2 ) q 1 2. If 4Re(q 2 ) = q 1 2, then U (q 1,q 2 ) = (q 1,t 1,...,t dimv2 ), r = r(q 1,q 2 ) = 0.
68 From the Heisenberg group to Carnot groups p. 46/47 Siegel upper half space q 2 r(q 1,q 2 ) H U [w,t] = (w, w 2 +it) U 0 q 1
69 From the Heisenberg group to Carnot groups p. 47/47 The end The end of the second lecture Thank you for your attention
Some topics in sub-riemannian geometry
Some topics in sub-riemannian geometry Luca Rizzi CNRS, Institut Fourier Mathematical Colloquium Universität Bern - December 19 2016 Sub-Riemannian geometry Known under many names: Carnot-Carathéodory
More informationGEOMETRIC ANALYSIS ON H-TYPE GROUPS RELATED TO DIVISION ALGEBRAS
GEOMETRIC ANALYSIS ON H-TYPE GROUPS RELATED TO DIVISION ALGEBRAS OVIDIU CALIN, DER-CHEN CHANG, IRINA MARKINA Abstract. The present article applies the method of Geometric Analysis to the study H-type groups
More informationDistance to curves and surfaces in the Heisenberg group
Distance to curves and surfaces in the Heisenberg group Università di Bologna 3 giugno 2012 Survey based on... Fausto Ferrari, N.A. Metric normal and distance function in the Heisenberg group, Math.Z.
More informationOVIDIU CALIN, DER-CHEN CHANG, IRINA MARKINA
GEOMETRIC ANALYSIS ON H-TYPE GROUPS RELATED TO DIVISION ALGEBRAS OVIDIU CALIN, DER-CHEN CHANG, IRINA MARKINA Abstract. The present article applies the method of Geometric Analysis to the study H-type groups
More informationIsodiametric problem in Carnot groups
Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric
More informationSome examples of quasiisometries of nilpotent Lie groups
Some examples of quasiisometries of nilpotent Lie groups Xiangdong Xie Abstract We construct quasiisometries of nilpotent Lie groups. In particular, for any simply connected nilpotent Lie group N, we construct
More informationMaster Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed
Université de Bordeaux U.F. Mathématiques et Interactions Master Algèbre géométrie et théorie des nombres Final exam of differential geometry 2018-2019 Lecture notes allowed Exercise 1 We call H (like
More informationCalculus of Variations Summer Term 2014
Calculus of Variations Summer Term 2014 Lecture 5 7. Mai 2014 c Daria Apushkinskaya 2014 () Calculus of variations lecture 5 7. Mai 2014 1 / 25 Purpose of Lesson Purpose of Lesson: To discuss catenary
More informationSpecial Lecture - The Octionions
Special Lecture - The Octionions March 15, 2013 1 R 1.1 Definition Not much needs to be said here. From the God given natural numbers, we algebraically build Z and Q. Then create a topology from the distance
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationSub-Riemannian Geometry: Basic Ideas and Examples
Sub-Riemannian Geometry: Basic Ideas and Examples Abubakr Muhammad Dept. of Electrical Engineering Georgia Institute of Technology, Atlanta, GA, USA. abubakr@ece.gatech.edu Keywords Differential geometry;
More informationInteresting Surfaces in Nil Space *
Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 1. pp. 185 192. Interesting Surfaces in Nil Space * Benedek Schultz a, Jenő Szirmai b a
More informationSmooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013
Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.
More informationQUATERNIONS AND ROTATIONS
QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )
More informationLECTURE 8: THE MOMENT MAP
LECTURE 8: THE MOMENT MAP Contents 1. Properties of the moment map 1 2. Existence and Uniqueness of the moment map 4 3. Examples/Exercises of moment maps 7 4. Moment map in gauge theory 9 1. Properties
More informationsin(α + θ) = sin α cos θ + cos α sin θ cos(α + θ) = cos α cos θ sin α sin θ
Rotations in the 2D Plane Trigonometric addition formulas: sin(α + θ) = sin α cos θ + cos α sin θ cos(α + θ) = cos α cos θ sin α sin θ Rotate coordinates by angle θ: 1. Start with x = r cos α y = r sin
More informationA new class of pseudodifferential operators with mixed homogenities
A new class of pseudodifferential operators with mixed homogenities Po-Lam Yung University of Oxford Jan 20, 2014 Introduction Given a smooth distribution of hyperplanes on R N (or more generally on a
More informationKirillov Theory. TCU GAGA Seminar. Ruth Gornet. January University of Texas at Arlington
TCU GAGA Seminar University of Texas at Arlington January 2009 A representation of a Lie group G on a Hilbert space H is a homomorphism such that v H the map is continuous. π : G Aut(H) = GL(H) x π(x)v
More informationFrom Grushin to Heisenberg via an isoperimetric problem
From Grushin to Heisenberg via an isoperimetric problem Nicola Arcozzi and Annalisa Baldi Abstract The Grushin plane is a right quotient of the Heisenberg group. Heisenberg geodesics projections are solutions
More informationMany of the exercises are taken from the books referred at the end of the document.
Exercises in Geometry I University of Bonn, Winter semester 2014/15 Prof. Christian Blohmann Assistant: Néstor León Delgado The collection of exercises here presented corresponds to the exercises for the
More informationChap. 1. Some Differential Geometric Tools
Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U
More informationSubriemannian geodesics - an introduction
- an introduction Department of Theoretical Physics Comenius University Bratislava fecko@fmph.uniba.sk Student Colloqium and School on Mathematical Physics, Stará Lesná, Slovakia, August 24-30, 2009 -
More informationAREA-STATIONARY SURFACES INSIDE THE SUB-RIEMANNIAN THREE-SPHERE
AREA-STATIONARY SURFACES INSIDE THE SUB-RIEMANNIAN THREE-SPHERE ANA HURTADO AND CÉSAR ROSALES ABSTRACT. We consider the sub-riemannian metric g h on S 3 given by the restriction of the Riemannian metric
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationUNIVERSAL DIFFERENTIABILITY SETS IN CARNOT GROUPS OF ARBITRARILY HIGH STEP
UNIVERSAL DIFFERENTIABILITY SETS IN CARNOT GROUPS OF ARBITRARILY HIGH STEP ANDREA PINAMONTI AND GARETH SPEIGHT Abstract. We show that every model filiform group E n contains a measure zero set N such that
More information1. Find the solution of the following uncontrolled linear system. 2 α 1 1
Appendix B Revision Problems 1. Find the solution of the following uncontrolled linear system 0 1 1 ẋ = x, x(0) =. 2 3 1 Class test, August 1998 2. Given the linear system described by 2 α 1 1 ẋ = x +
More informationOn the Hausdorff volume in sub-riemannian geometry
On the Hausdorff volume in sub-riemannian geometry Andrei Agrachev SISSA, Trieste, Italy and MIAN, Moscow, Russia - agrachev@sissa.it Davide Barilari SISSA, Trieste, Italy - barilari@sissa.it Ugo Boscain
More informationQUASICONFORMAL MAPS ON A 2-STEP CARNOT GROUP. Christopher James Gardiner. A Thesis
QUASICONFORMAL MAPS ON A 2-STEP CARNOT GROUP Christopher James Gardiner A Thesis Submitted to the Graduate College of Bowling Green State University in partial fulfillment of the requirements for the degree
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationX-RAY TRANSFORM ON DAMEK-RICCI SPACES. (Communicated by Jan Boman)
Volume X, No. 0X, 00X, X XX Web site: http://www.aimsciences.org X-RAY TRANSFORM ON DAMEK-RICCI SPACES To Jan Boman on his seventy-fifth birthday. François Rouvière Laboratoire J.A. Dieudonné Université
More informationAn Invitation to Geometric Quantization
An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to
More informationAlgorithmic Lie Symmetry Analysis and Group Classication for Ordinary Dierential Equations
dmitry.lyakhov@kaust.edu.sa Symbolic Computations May 4, 2018 1 / 25 Algorithmic Lie Symmetry Analysis and Group Classication for Ordinary Dierential Equations Dmitry A. Lyakhov 1 1 Computational Sciences
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 2010 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 21 (Day 1) 1. (CA) Evaluate sin 2 x x 2 dx Solution. Let C be the curve on the complex plane from to +, which is along
More informationInterpolation of Rigid Motions in 3D
Interpolation of Rigid Motions in 3D David Eberly, Geometric Tools, Redmond WA 98052 https://www.geometrictools.com/ This work is licensed under the Creative Commons Attribution 4.0 International License.
More information+ dxk. dt 2. dt Γi km dxm. . Its equations of motion are second order differential equations. with intitial conditions
Homework 7. Solutions 1 Show that great circles are geodesics on sphere. Do it a) using the fact that for geodesic, acceleration is orthogonal to the surface. b ) using straightforwardl equations for geodesics
More informationExercises for Multivariable Differential Calculus XM521
This document lists all the exercises for XM521. The Type I (True/False) exercises will be given, and should be answered, online immediately following each lecture. The Type III exercises are to be done
More informationConway s group and octonions
Conway s group and octonions Robert A. Wilson School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E 4NS Submitted 7th March 009 Abstract We give a description of the
More informationA little taste of symplectic geometry
A little taste of symplectic geometry Timothy Goldberg Thursday, October 4, 2007 Olivetti Club Talk Cornell University 1 2 What is symplectic geometry? Symplectic geometry is the study of the geometry
More informationTerse Notes on Riemannian Geometry
Terse Notes on Riemannian Geometry Tom Fletcher January 26, 2010 These notes cover the basics of Riemannian geometry, Lie groups, and symmetric spaces. This is just a listing of the basic definitions and
More informationBRST 2006 (jmf) 7. g X (M) X ξ X. X η = [ξ X,η]. (X θ)(η) := X θ(η) θ(x η) = ξ X θ(η) θ([ξ X,η]).
BRST 2006 (jmf) 7 Lecture 2: Symplectic reduction In this lecture we discuss group actions on symplectic manifolds and symplectic reduction. We start with some generalities about group actions on manifolds.
More informationBefore you begin read these instructions carefully.
MATHEMATICAL TRIPOS Part IB Thursday, 6 June, 2013 9:00 am to 12:00 pm PAPER 3 Before you begin read these instructions carefully. Each question in Section II carries twice the number of marks of each
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationPractice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009.
Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009. Solutions (1) Let Γ be a discrete group acting on a manifold M. (a) Define what it means for Γ to act freely. Solution: Γ acts
More informationA Tour of Subriemannian Geometries,Their Geodesies and Applications
Mathematical Surveys and Monographs Volume 91 A Tour of Subriemannian Geometries,Their Geodesies and Applications Richard Montgomery American Mathematical Society Contents Introduction Acknowledgments
More informationIntroduction to Teichmüller Spaces
Introduction to Teichmüller Spaces Jing Tao Notes by Serena Yuan 1. Riemann Surfaces Definition 1.1. A conformal structure is an atlas on a manifold such that the differentials of the transition maps lie
More informationGeneral Relativity I
General Relativity I presented by John T. Whelan The University of Texas at Brownsville whelan@phys.utb.edu LIGO Livingston SURF Lecture 2002 July 5 General Relativity Lectures I. Today (JTW): Special
More informationMA3D9. Geometry of curves and surfaces. T (s) = κ(s)n(s),
MA3D9. Geometry of 2. Planar curves. Let : I R 2 be a curve parameterised by arc-length. Given s I, let T(s) = (s) be the unit tangent. Let N(s) be the unit normal obtained by rotating T(s) through π/2
More informationTHEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009
[under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was
More informationComparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp(1)
Comparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp() Jeffrey D. Carlson January 3, 4 Introduction In this note, we aim to prove the Weyl integration
More informationInvariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups
Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Dennis I. Barrett Geometry, Graphs and Control (GGC) Research Group Department of Mathematics, Rhodes University Grahamstown,
More informationLecture 4 - The Basic Examples of Collapse
Lecture 4 - The Basic Examples of Collapse July 29, 2009 1 Berger Spheres Let X, Y, and Z be the left-invariant vector fields on S 3 that restrict to i, j, and k at the identity. This is a global frame
More informationANALYSIS AND GEOMETRY IN METRIC SPACES: SOBOLEV MAPPINGS, THE HEISENBERG GROUP, AND THE WHITNEY EXTENSION THEOREM
ANALYSIS AND GEOMETRY IN METRIC SPACES: SOBOLEV MAPPINGS, THE HEISENBERG GROUP, AND THE WHITNEY EXTENSION THEOREM by Scott Zimmerman B.S. in Mathematics, John Carroll University, 2008 M.S. in Mathematics,
More informationHalf of Final Exam Name: Practice Problems October 28, 2014
Math 54. Treibergs Half of Final Exam Name: Practice Problems October 28, 24 Half of the final will be over material since the last midterm exam, such as the practice problems given here. The other half
More informationThe Isoperimetric Problem in the Heisenberg group H n
The Isoperimetric Problem in the Heisenberg group H n First Taiwan Geometry Symposium, NCTS South November 20, 2010 First Taiwan Geometry Symposium, NCTS South The () Isoperimetric Problem in the Heisenberg
More informationHyperbolic volumes and zeta values An introduction
Hyperbolic volumes and zeta values An introduction Matilde N. Laĺın University of Alberta mlalin@math.ulberta.ca http://www.math.ualberta.ca/~mlalin Annual North/South Dialogue in Mathematics University
More informationDIFFERENTIAL GEOMETRY HW 12
DIFFERENTIAL GEOMETRY HW 1 CLAY SHONKWILER 3 Find the Lie algebra so(n) of the special orthogonal group SO(n), and the explicit formula for the Lie bracket there. Proof. Since SO(n) is a subgroup of GL(n),
More informationConformal graph directed Markov systems on Carnot groups. Vasilis Chousionis Jeremy T. Tyson Mariusz Urbański
Conformal graph directed Markov systems on Carnot groups Vasilis Chousionis Jeremy T. Tyson Mariusz Urbański Department of Mathematics, University of Connecticut, 196 Auditorium Road U-3009, Storrs, CT
More informationLIPSCHITZ EXTENSIONS OF MAPS BETWEEN HEISENBERG GROUPS. 1. Introduction
LIPSCHITZ EXTENSIONS OF MAPS BETWEEN HEISENBERG GROUPS ZOLTÁN M. BALOGH, URS LANG, PIERRE PANSU Abstract. Let H n be the Heisenberg group of topological dimension 2n + 1. We prove that if n is odd, the
More informationPart IA. Vectors and Matrices. Year
Part IA Vectors and Matrices Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2018 Paper 1, Section I 1C Vectors and Matrices For z, w C define the principal value of z w. State de Moivre s
More informationReview of Lagrangian Mechanics and Reduction
Review of Lagrangian Mechanics and Reduction Joel W. Burdick and Patricio Vela California Institute of Technology Mechanical Engineering, BioEngineering Pasadena, CA 91125, USA Verona Short Course, August
More informationLecture 22 - F 4. April 19, The Weyl dimension formula gives the following dimensions of the fundamental representations:
Lecture 22 - F 4 April 19, 2013 1 Review of what we know about F 4 We have two definitions of the Lie algebra f 4 at this point. The old definition is that it is the exceptional Lie algebra with Dynkin
More informationIntroduction to Modern Quantum Field Theory
Department of Mathematics University of Texas at Arlington Arlington, TX USA Febuary, 2016 Recall Einstein s famous equation, E 2 = (Mc 2 ) 2 + (c p) 2, where c is the speed of light, M is the classical
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationA LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS
A LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS SLOBODAN N. SIMIĆ Abstract. Whereas subriemannian geometry usually deals with smooth horizontal distributions, partially hyperbolic
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationMath 312 Lecture Notes Linear Two-dimensional Systems of Differential Equations
Math 2 Lecture Notes Linear Two-dimensional Systems of Differential Equations Warren Weckesser Department of Mathematics Colgate University February 2005 In these notes, we consider the linear system of
More informationChapter 4: First-order differential equations. Similarity and Transport Phenomena in Fluid Dynamics Christophe Ancey
Chapter 4: First-order differential equations Similarity and Transport Phenomena in Fluid Dynamics Christophe Ancey Chapter 4: First-order differential equations Phase portrait Singular point Separatrix
More informationHeisenberg groups, in discrete and continuous
An Introduction to Heisenberg Groups in Analysis and Geometry Stephen Semmes Heisenberg groups, in discrete and continuous versions, appear in many parts of mathematics, including Fourier analysis, several
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationINTRO TO SUBRIEMANNIAN GEOMETRY
INTRO TO SUBRIEMANNIAN GEOMETRY 1. Introduction to subriemannian geometry A lot of this tal is inspired by the paper by Ines Kath and Oliver Ungermann on the arxiv, see [3] as well as [1]. Let M be a smooth
More informationL 2 Geometry of the Symplectomorphism Group
University of Notre Dame Workshop on Innite Dimensional Geometry, Vienna 2015 Outline 1 The Exponential Map on D s ω(m) 2 Existence of Multiplicity of Outline 1 The Exponential Map on D s ω(m) 2 Existence
More informationLecture 3 - Lie Groups and Geometry
Lecture 3 - Lie Groups and Geometry July 29, 2009 1 Integration of Vector Fields on Lie Groups Let M be a complete manifold, with a vector field X. A time-dependent family of diffeomorphisms ϕ t : M M
More informationThe Densest Geodesic Ball Packing by a Type of Nil Lattices
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 48 (7), No., 383-397. The Densest Geodesic Ball Packing by a Type of Nil Lattices Jenő Szirmai Budapest University of Technology
More informationChapter 31. The Laplace Transform The Laplace Transform. The Laplace transform of the function f(t) is defined. e st f(t) dt, L[f(t)] =
Chapter 3 The Laplace Transform 3. The Laplace Transform The Laplace transform of the function f(t) is defined L[f(t)] = e st f(t) dt, for all values of s for which the integral exists. The Laplace transform
More informationChain Rule. MATH 311, Calculus III. J. Robert Buchanan. Spring Department of Mathematics
3.33pt Chain Rule MATH 311, Calculus III J. Robert Buchanan Department of Mathematics Spring 2019 Single Variable Chain Rule Suppose y = g(x) and z = f (y) then dz dx = d (f (g(x))) dx = f (g(x))g (x)
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationBACKGROUND IN SYMPLECTIC GEOMETRY
BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations
More informationEntrance Exam, Differential Equations April, (Solve exactly 6 out of the 8 problems) y + 2y + y cos(x 2 y) = 0, y(0) = 2, y (0) = 4.
Entrance Exam, Differential Equations April, 7 (Solve exactly 6 out of the 8 problems). Consider the following initial value problem: { y + y + y cos(x y) =, y() = y. Find all the values y such that the
More informationSection 3: Complex numbers
Essentially: Section 3: Complex numbers C (set of complex numbers) up to different notation: the same as R 2 (euclidean plane), (i) Write the real 1 instead of the first elementary unit vector e 1 = (1,
More informationLeft Invariant CR Structures on S 3
Left Invariant CR Structures on S 3 Howard Jacobowitz Rutgers University Camden August 6, 2015 Outline CR structures on M 3 Pseudo-hermitian structures on M 3 Curvature and torsion S 3 = SU(2) Left-invariant
More informationHamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics. Manuel de León Institute of Mathematical Sciences CSIC, Spain
Hamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics Manuel de León Institute of Mathematical Sciences CSIC, Spain joint work with J.C. Marrero (University of La Laguna) D.
More informationThe Left Invariant Metrics which is Defined on Heisenberg Group
International Mathematical Forum, 1, 2006, no. 38, 1887-1892 The Left Invariant Metrics which is Defined on Heisenberg Group Essin TURHAN and Necdet CATALBAS Fırat University, Department of Mathematics
More informationSymmetric Spaces Toolkit
Symmetric Spaces Toolkit SFB/TR12 Langeoog, Nov. 1st 7th 2007 H. Sebert, S. Mandt Contents 1 Lie Groups and Lie Algebras 2 1.1 Matrix Lie Groups........................ 2 1.2 Lie Group Homomorphisms...................
More informationMatrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course
Matrix Lie groups and their Lie algebras Mahmood Alaghmandan A project in fulfillment of the requirement for the Lie algebra course Department of Mathematics and Statistics University of Saskatchewan March
More informationConification of Kähler and hyper-kähler manifolds and supergr
Conification of Kähler and hyper-kähler manifolds and supergravity c-map Masaryk University, Brno, Czech Republic and Institute for Information Transmission Problems, Moscow, Russia Villasimius, September
More informationnp n p n, where P (E) denotes the
Mathematical Research Letters 1, 263 268 (1994) AN ISOPERIMETRIC INEQUALITY AND THE GEOMETRIC SOBOLEV EMBEDDING FOR VECTOR FIELDS Luca Capogna, Donatella Danielli, and Nicola Garofalo 1. Introduction The
More informationA motion planner for nonholonomic mobile robots
A motion planner for nonholonomic mobile robots Miguel Vargas Material taken form: J. P. Laumond, P. E. Jacobs, M. Taix, R. M. Murray. A motion planner for nonholonomic mobile robots. IEEE Transactions
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationLie algebra cohomology
Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and
More informationEcon Lecture 14. Outline
Econ 204 2010 Lecture 14 Outline 1. Differential Equations and Solutions 2. Existence and Uniqueness of Solutions 3. Autonomous Differential Equations 4. Complex Exponentials 5. Linear Differential Equations
More informationReminder on basic differential geometry
Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector
More informationCalculus of Variations
ECE 68 Midterm Exam Solution April 1, 8 1 Calculus of Variations This exam is open book and open notes You may consult additional references You may even discuss the problems (with anyone), but you must
More informationHopf Fibrations. Consider a classical magnetization field in R 3 which is longitidinally stiff and transversally soft.
Helmut Eschrig Leibniz-Institut für Festkörper- und Werkstofforschung Dresden Leibniz-Institute for Solid State and Materials Research Dresden Hopf Fibrations Consider a classical magnetization field in
More informationIntroduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
More informationOn the classification of certain curves up to projective tranformations
On the classification of certain curves up to projective tranformations Mehdi Nadjafikhah Abstract The purpose of this paper is to classify the curves in the form y 3 = c 3 x 3 +c 2 x 2 + c 1x + c 0, with
More informationAn introduction to Birkhoff normal form
An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an
More informationDerived Poisson structures and higher character maps
Derived Poisson structures and higher character maps Sasha Patotski Cornell University ap744@cornell.edu March 8, 2016 Sasha Patotski (Cornell University) Derived Poisson structures March 8, 2016 1 / 23
More informationSophus Lie s Approach to Differential Equations
Sophus Lie s Approach to Differential Equations IAP lecture 2006 (S. Helgason) 1 Groups Let X be a set. A one-to-one mapping ϕ of X onto X is called a bijection. Let B(X) denote the set of all bijections
More information