HYPERBOLIC PLANE AS A PATH METRIC SPACE. Contents
|
|
- Charles Kennedy
- 5 years ago
- Views:
Transcription
1 HYPERBOLIC PLANE AS A PATH METRIC SPACE QINGCI AN Abstrct. We will study the quntities tht re invrint under the ction of Möb(H) on hyperbolic plne, nmely, the length of pths in hyperbolic plne. From these invrint elements, we construct n invrint notion of hyperbolic distnce on H nd explore some of its bsic properties. And we will prove tht Möb(H)= Isom(H, d H ). Contents 1. Introduction nd Bsic Definitions 1 2. The Generl Möbius Group nd Möb(H) 4 3. Length nd Distnce in H 7 4. Isometries in H 9 Acknowledgments 11 References Introduction nd Bsic Definitions Hyperbolic geometry is non-eucliden geometry in which the prllel postulte in Eucliden geometry does not hold. In hyperbolic geometry, for ny given line L nd point p not in L, there exist t lest two distinct lines through p tht re prllel to L. Hyperbolic spce is model for hyperbolic geometry. It could be two-dimensionl or higher. And there re severl models for hyperbolic spce, for instnce the hyperboloid model, the Klein model, the Poincré bll model nd the Poincré hlf spce model. For ny two of the bove models, there exist trnsformtions between them tht preserve geometric properties. In this pper, we use the upper hlf plne to model the hyperbolic plne nd we will explore geometries in the hyperbolic plne. The upper hlf-plne model is defined to be H = {z C Im(z) > 0}. And we will refer to the rel xis by R. We re going to define hyperbolic line in H in terms of Eucliden lines nd circles in C. Definition 1.1. A hyperbolic line in H is either the intersection of H with Eucliden line in C perpendiculr to R or the intersection of H with Eucliden circle centered on R. 1
2 2 QINGCI AN Figure 1.1: Hyperbolic lines Proposition 1.2. For ech pir of distinct points, p nd q, in H, there exists unique hyperbolic line l through p nd q. Proof. There re two cses to consider. Cse 1: Suppose Re(p) = Re(q). Then the Eucliden line L = {z C } Re(z) = Re(p)} psses through p nd q nd is perpendiculr to R. By the uniqueness of the Eucliden line, we see tht l = H L is the unique hyperbolic line through p nd q. q p Figure 1.2: Hyperbolic line determined by point p nd q Cse 2: Suppose Re(p) Re(q). Then let L pq be the Eucliden line segment joining p nd q nd let K be the perpendiculr bisector of L pq. Then K intersects R t unique point c nd c p = c q. Then let C be Eucliden circle centered t c with rdius c p. So l = H C is the desired unique hyperbolic line. p q Figure 1.3: Hyperbolic line determined by point p nd q Hyperbolic geometry behves differently from Eucliden geometry of prllel lines, lthough the definitions of prllel for Eucliden lines nd hyperbolic lines re sme. Definition 1.3. If two hyperbolic lines re disjoint, then they re prllel. Theorem 1.4. Let l be hyperbolic line in H nd let p be point in H not in l, there exist infinitely mny distinct hyperbolic lines through p tht re prllel to l.
3 HYPERBOLIC PLANE AS A PATH METRIC SPACE 3 Proof. There re two cses to consider. First, suppose tht l is contined in Eucliden line L nd p is point in H not in l. As p is not in L, p is on Eucliden line K tht is prllel to L. Since L is perpendiculr to R, K is perpendiculr to R. Then K H is hyperbolic line through p nd prllel to l. We cn construct nother such hyperbolic line by tking point x in R nd let be the hyperbolic line through p nd x. k nd re distinct becuse Re(x) Re(p). And we cn construct infinitely mny such hyperbolic lines becuse there re infinitely points on R between L nd K. Figure 1.4: Prllel hyperbolic lines The second cse is tht l is contined in Eucliden circle M. As p is in H but not in L, there is Eucliden circle N through p nd concentric to M. As concentric circles re disjoint, N H is hyperbolic line through p nd prllel to l. To construct nother such hyperbolic line, tke ny point x on R between M nd N. Let be the hyperbolic line through p nd x. Then is disjoint from l. As there re infinitely mny points between M nd N, we cn construct infinitely mny hyperbolic lines through p nd prllel to l. Figure 1.5: Prllel hyperbolic lines To determine resonble group of trnsformtions in H tht tke hyperbolic lines to hyperbolic lines, we need to unify the two types of hyperbolic lines. By stereogrphic projection, Eucliden circle cn be obtined from Eucliden line by dding single point. Definitions 1.5. By stereogrphic projection, we cn construct Riemnn sphere C. As set of points, the Riemnn sphere is the union of the complex plne C with point not in C, which we denote by, which mens C = C { }. We lso define the extended rel xis R = R { }. A circle in the Riemnn sphere C is either Eucliden circle in C or Eucliden line in C with { }.
4 4 QINGCI AN Figure 1.6: Stereogrfic projection There is clss of continuous functions from C to C tht re especilly well behved. Definitions 1.6. A function f : C C is homeomorphism if f is bijective nd both f nd f 1 re continuous. The homeomorphisms of C re the trnsformtions of C tht re of most interest of us. We denote the group of homeomorphisms by Homeo( C) = {f : C C f is homeomorphism}. By definition, the inverse of homeomorphism is lso homeomorphism nd the composition of two homeomorphisms is lso homeomorphism. And the identity homeomorphism is the function f : C C given by f(z) = z. So Homeo( C) is group. 2. The Generl Möbius Group nd Möb(H) As every hyperbolic line in H is contined in circle in C, in order to determine the trnsformtions of H tht tke hyperbolic lines to hyperbolic lines, we first determine the group of homeomorphisms of C tking circles C to circles in C. We let Homeo C ( C) denote the subset of Homeo( C) tht contins homeomorphisms of C tking circles in C to circles in C. Definition 2.1. A Möbius trnsformtion is function m : C C of the form m(z) = z + b cz + d where, b, c, d C nd d bc 0. We denote the set of ll Möbius trnsformtions by Möb +. Lemm 2.2. The element f of Homeo( C) defined by f(z) = z + b for z C nd f( ) =, where, b C nd 0, is n element of Homeo C ( C). Proof. Given circle in C A = {z C : αz z + βz + β z + γ = 0}, where α, γ R nd β C nd α = 0 if nd only if A is Eucliden line. We wnt to show tht if z A, then w = z + b stisfy similr eqution. We first consider the cse α = 0. Since w = z + b, we cn substitute z = 1 (w b) into the eqution obtining βz + β z + γ = β 1 (w b) + β 1 (w b) + γ = β w + β w 2Re(β b) + γ = 0
5 HYPERBOLIC PLANE AS A PATH METRIC SPACE 5 This shows tht w stisfies n eqution of n Eucliden line. So f tkes Eucliden lines to Eucliden lines. If α 0, we hve αz z + βz + β z + γ = α 1 (w b) 1 (w b) + β 1 (w b) + β 1 (w b) + γ = α 2 (w b)(w b) + β β (w b) + (w b) + γ = α β w + 2 α b 2 + γ β 2 α = 0 So w stisfy n eqution of Eucliden circle. Hence f tkes circles in C to circles in C. Lemm 2.3. The element g of Homeo( C) defined by g(z) = 1 z for z C {0}, g(0) =, nd g( ) = 0, is n element of Homeo C ( C). The proof of Lemm 2.3 is similr to Lemm 2.2. In fct, Möb + is generted by f nd g. Theorem 2.4. Let m be Möbius trnsformtion m(z) = z+b cz+d, where, b, c, d C nd d bc 0. If c = 0, then m(z) = d z + b d. If c 0, then m(z) = f g h(z), where h(z) = c 2 (z) + cd for z C nd h( ) =, g(z) = 1 z for z C {0}, g(0) =, nd g( ) = 0, nd f(z) = (d bc)z + c for z C nd f( ) =. The proof of Theorem 2.4 is just direct clcultion. By Theorem 2.4 nd Lemms 2.2 nd 2.3, we hve tht every Möbius trnsformtion is n element of Homeo C ( C), s it is the composition of functions in Homeo C ( C). So we hve the following theorem. Theorem 2.5. Möb + Homeo C ( C). To extend Möb + to lrger group, we consider the complex conjugtion, C : C C, C(z) = z nd C( ) =, which is not n element of Möb + but is n element of Homeo C ( C). Lemm 2.6. The function C : C C, C(z) = z nd C( ) = is n element of Homeo C ( C). The proof of Lemm 2.6 is similr to the proof of lemm 2.2. Definition 2.7. The generl Moöbius group is the group generted by Möb + nd the function C : C C, C(z) = z nd C( ) =. Let Möb denote the generl Möbius group. Theorem 2.8. Möb = Homeo C ( C) Sketch of Proof: By Lemm 2.8, we hve tht every element of Möb is n element of Homeo C ( C). Then we need to show tht Homeo C ( C) Möb. Let f be n element of Homeo C ( C)
6 6 QINGCI AN nd let n be the Möbius trnsformtion tking the triple (f(0), f(1), f( )) to the triple (0, 1, ). So n f tkes (0, 1, ) to (0, 1, ). As R is the circle in C determined by (0, 1, ) nd n f tkes circles in C to circles in C, n f( R) = R. Therefore n f(h) is either the upper-hlf plne or the lower-hlf plne. In the former cse, set m = n. In the ltter cse, set m = C n. So m f is n element of Möb such tht m f(0) = 0, m f(1) = 1, m f( ) =, nd m f(h) = H. We show tht m f is the identity by constructing dense set of points in C, ech of which is fixed by m f. Hence f = m 1 is n element of Möb. This completes the sketch of the proof of the Theorem 2.9. Nottions 2.9. Möb( R) = {m Möb m( R) = R} Möb(H) = {m Möb m(h) = H} Theorem Every element of Möb( R) is of one of the following form: 1. m(z) = z+b cz+d with, b, c, d R nd d bc = 1; 2. m(z) = z+b c z+d with, b, c, d R nd d bc = 1; 3. m(z) = z+b cz+d with, b, c, d purely imginry nd d bc = 1; 4. m(z) = z+b c z+d with, b, c, d purely imginry nd d bc = 1; Theorem Every element of Möb(H) is of one of the following form: 1. m(z) = z+b cz+d with, b, c, d R nd d bc = 1; 2. m(z) = z+b c z+d with, b, c, d purely imginry nd d bc = 1; One useful property of Möb(H) is the trnsitivity property. Theorem Möb (H) cts trnsitively on H, which mens for every pir of points x nd y in H, there exists n element m of Möb(H) such tht m(x) = y. Proof. Notice tht if for ech point x in H, there exists n element m of Möb(H) such tht m(x) = y 0 for some point in H, then Möb(H) cts trnsitively on H. Becuse for ny two points x nd z in H, if m 1 (x) = y 0 = m 2 (z), then m 1 2 m 1 (x) = z. So we just need to show tht for ny point x in H, there exists n element m of Möb(H) such tht m(x) = i. Write x = + bi, where, b R nd b > 0. We first move x to the imginry xis using γ 1 (z) = z, so m 1 (x) = bi. Then we pply γ 2 (z) = 1 b z to γ 1(x), so γ 2 (γ 1 (x)) = i. By Theorem 2.11, γ 1 nd γ 2 re elements of Möb(H), hence so is γ 2 γ 1. Theorem Möb(H) cts trnsitively on the set L of hyperbolic lines in H. Proof. It is suffice to show tht for ech hyperbolic line l, there exists n element m of Möb(H) tht tkes l to the imginry xis I. Suppose z is point in l. By Theorem 2.11, there is n element m of Möb(H) such tht m(z) = i. Let φ be the ngle between the two hyperbolic lines I nd m(l), mesured from I to m(l). For cos θz sin θ sin θz+cos θ ech θ, the Möbius trnsformtion n θ (z) = lies in Möb(H) nd fixes i. And the ngle between I nd n θ (I) t i, mesured from I to n θ (I) is 2θ. So if we tke θ = φ 2, then m(l) = n θ(i), so n 1 θ m(l) = I.
7 HYPERBOLIC PLANE AS A PATH METRIC SPACE 7 3. Length nd Distnce in H In this section, we will derive mens of mesuring lengths of pths in H tht is invrint under the ction of Möb, expressed s n invrint element of rc-length. Theorem 3.1. For every positive constnt c, the element of rc-length c Im(z) dz on H is invrint under the ction of Möb(H) Proof. Let ρ = c Im(z) b. We need to show tht ρ(f(t)) f (t) dt = b ρ(γ f(t)) γ (f(t)) f (t) dt for every piecewise C 1 pth f : [, b] H nd every element γ of Möb(H), which lso cn be written s b (ρ(f(t)) ρ(γ f(t)) γ (f(t)) ) f (t) dt = 0. So for n element γ of Möb(H), let µ γ (z) = ρ(z) ρ(γ(z)) γ (z). We just need to show tht b µ γ (z) dz = µ γ (f(t)) f (t) dt = 0. f Now consider how µ γ behves under composition with elements of Möb(H). Let γ nd φ be elements of Möb(H). Then µ γ φ = µ(z) µ((γ φ(z)) (γ φ) (z) = µ(z) µ((γ φ(z)) (γ (φ) (z)) φ (z) = µ(z) µ(φ(z)) φ (z) + µ(φ(z)) φ (z) µ((γ φ(z)) (γ (φ) (z)) φ (z) = µ φ (z) + µ γ (φ(z)) φ (z). So if µ γ = 0 for every γ in the generting set of Möb(H), then µ γ =0 for every element γ of Möb(H). A generting set for Möb(H) is Then {γ 1 = z + b, γ 2 = z, γ 3 = 1 z, γ 4 = z, b R, > 0}. µ γ1 = ρ(z) ρ(γ 1 (z)) γ 1(z) = ρ(z) ρ(z + b) = 0. Similrly for γ 2, γ 3 nd γ 4, one cn check tht µ γi = 0. This completes the proof. We cn not determine the specific vlue of c using only Möb(H). For esy clcultion, we set c =1. Definition 3.2. For piecewise C 1 pth f : [, b] H, we define the hyperbolic length of f to be length H (f)= b 1 Im(f(t)) f (t) dt. Definition 3.3. Suppose X is metric spce with metric d. We sy tht (X, d) is pth metric spce if for ech pir of x nd y in X, d(x, y) = inf{length(f) f is pth connecting x nd y}, nd there exists distnce-relizing pth f such tht d(x, y) = length(f).
8 8 QINGCI AN Definition 3.4. For ech pir of points x nd y of H, let Γ[x, y] denote the set of ll piecewise C 1 pths f : [, b] H with f() = x nd f(b) = y. We define the function d H : H H R, d H (x, y) = inf{length H (f) f Γ[x, y]}. We refer to d H (x, y) s the hyperbolic distnce between x nd y. Proposition 3.5. For every element γ of Möb(H) nd for every pir x nd y of points of H, we hve tht d H (x, y) = d H (γ(x), γ(y)). Proof. Let f : [, b] H be pth in Γ[x, y] nd γ be in Möb(H). As length H (f) is invrint under Möb(H), we hve length H (f)=length H (γ f). And observe tht for every pth f Γ[x, y], γ f Γ[x, y]. So d H (γ(x), γ(y)) = inf{ length H (g) g Γ[γ(x), γ(y)]} inf{length H (γ f) f Γ[x, y]} inf{length H (f) f Γ[x, y]} = d H (x, y). Now consider γ 1, which is lso n element of Möb(H). Then d H (x, y) = inf{length H (f) f Γ[x, y]} inf{length H (γ 1 g g Γ[γ(x), γ(y)]} inf{length H (g) g Γ[γ(x), γ(y)]} = d H (γ(x), γ(y)). Therefore, d H (x, y) = d H (γ(r), γ(y)). Theorem 3.6. (H, d H ) is pth metric spce. Proof. First, we show tht (H, d H ) is metric. As length H (f) = b 1 Im(f(t) f (t) dt is nonnegtive for ll pth f Γ(x, y), their infimum d H (x, y) is nonnegtive. Let f : [, b] H be pth in Γ[x, y], nd let h : [, b] [, b] given by h(t) = + b t. Then f h Γ[y, x] nd length H (f h) = b 1 Im(f(h(t)) f (h(t) h (t) dt = b 1 Imf(s) f (s) ds = length H(f). So every pth in Γ[x, y] cn be reprmetrized to become pth in Γ[y, x]. So {length H (f) f Γ[x, y]} = {length H (g) g Γ[y, x]}, hence they hve the sme infimum. So d H (x, y) = d H (y, x). Now we prove the tringle equlity by contrdiction. Suppose tht x, y, z re points in H such tht d H (x, z) > d H (x, y) + d H (y, z). Then let ɛ = d H (x, z) d H (x, y) d H (y, z) > 0. As d H (x, y) = inf{length H (f) f Γ[x, y]}, there exists pth f in Γ[x, y] with length H (f) d H (x, y) < 1 2 ɛ. Similrly there exists pth g in Γ[x, y] with length H(g) d H (y, z) < 1 2ɛ. Let h Γ[x, z] be the conctention of f nd g. Then d H (x, z) < length H (h) = length H (f) + length H (g) < d H (x, y) + d H (y, z) + ɛ,
9 HYPERBOLIC PLANE AS A PATH METRIC SPACE 9 which contrdicts the construction of ɛ. So the tringle equlity is stisfied by d H. Then we show tht there exists pth in H relizing the hyperbolic distnce between ny pir of points of H, which implies tht d H (x, y) > 0 if x y. So let x, y be pir of distinct point in H nd let l be the hyperbolic line pssing through x nd y. By Theorem 2.13, there exists n element γ Möb(H) so tht γ(l) is the positive imginry xis in H. We cn write γ(x) = µi nd γ(y) = λi with µ < λ. By Proposition 3.5, d H (x, y) = d H (γ(x), γ(y)). So we just need to prove tht there exist distnce-relizing pth from µi to λi.we begin by clculting the hyperbolic length of specific pth, f 0 : [µ, λ] H defined by f 0 (t) = it. So length H (f 0 ) = λ 1 µ t dt = ln λ µ.then we show tht length H(f 0 ) length H (f) for ny pth f Γ[µi, λi]. Let f : [, b] H be defined by f(t) = x(t) + y(t)i. Consider the pth g : [, b] H defined by g = y(t)i, so g Γ[µi, λi]. Since (x (t)) 2 0, length H (g) length H (f). So we reduced ourselves to showing tht if g Γ[µi, λi][ is of the form g(t) = y(t)i, then length H (f 0 ) length H (g). The imge of g is the hyperbolic line segment joining αi nd βi with α µ λ β. Define h : [α, β] H by h(t) = it. Then we hve tht length H (f 0 ) = ln λ µ ln β α = length H (h). Then we cn write g = h (h 1 g), where h 1 g : [, b] [α, β] is surjective function. Therefore length H (h) length H (g). This completes the rgument tht length H (f 0 ) length H (f) for every pth f in Γ[µi, λi]. Therefore, for every pir of distinct points x nd y in H, let l be the hyperbolic line through x nd y, nd let γ be the element of Möb(H) tking l to the imginry xis with γ(x) = µi nd γ(y) = λi where µ < λ. Define f 0 : [µ, λ] H by f 0 (t) = it. Then γ 1 f 0 is distnce-relizing pth in Γ[x, y]. 4. Isometries in H Definition 4.1. An isometry of metric spce (X, d) is homeomorphism f of X tht preserves distnce. Proposition 4.2. Let x, y nd z be distinct points in H. Then d H (x, y)+d H (y, z) = d H (x, z) if nd only if y is contined in the hyperbolic line segment joining x to z. Proof. By Theorem 2.11 nd Theorem 2.12, there exists n element m of Möb(H) such tht m(x) = i nd m(z) = βi, 1 < β. Then d H (x, z) = d H (i, βi) = ln β. Write m(y) = +bi. If y is contined in the hyperbolic line segment joining x nd z, then m(y) lies on the hyperbolic line segment joining m(x) nd m(y). So = 0, 1 < b < β nd d H (x, y) = ln b nd d H (y, z) = ln β b. Hence d H(x, y) + d H (y, z) = d H (x, z). Suppose now tht y is not contined in the hyperbolic line segment joining x to z. There re two cses. First cse: = 0, in other words, m(y) lies on the imginry xis. Then we hve either 0 < b < 1 or b > β. If 0 < b < 1, then d H (x, y) = ln b] nd d H (y, z) = ln β ln b.] As ln b < 0, d H (x, y) + d H (y, z) = d H (x, z) 2 ln b > d H (x, z). If b > β, then d H (x, y) = ln b nd d H (y, z) = ln b ln β. As ln b > d H (x, z), d H (x, y) + d H (y, z) = 2 ln b d H (x, z) < d H (x, z).
10 10 QINGCI AN The second cse is tht 0. Then d H (x, y) = d H (i, + bi) < d H (i, bi) nd d H (y, z) = d H ( + bi, βi) > d H (bi, βi). If 1 < b < β, then d H (x, z) = d H (i, β) = d H (i, bi) + d H (bi, βi) < d H (x, y) + d H (y, z). Similrly if 0 < b < 1, then d H (x, z) < d H (x, z) 2 ln b = d H (i, bi) + d H (bi, βi) < d H (x, y) + d H (y, z). If b > β, then d H (x, z) < 2 ln b d H (x, z) = d H (i, bi) + d H (bi, βi) < d H (x, y) + d H (y, z). Proposition 4.3. Let f be hyperbolic isometry nd let l be hyperbolic line, then f(l) is lso hyperbolic line. Proof. By Proposition 4.2, if y lies in the hyperbolic line segment l xz, then d H (x, y)+ d H (y, z) = d H (x, z). Since f preserves distnce, d H (f(x), f(y)) + d H (f(y), f(z)) = d H (f(x), f(z)). So f(y) lies in the hyperbolic segment l f(x)f(y) joining f(x) to f(y), hence f(l xy )= l f(x)f(y). As hyperbolic line cn be expressed s nested union of hyperbolic line segments, we hve tht hyperbolic isometries tke hyperbolic lines to hyperbolic lines. Proposition 4.4. Let (z 1, z 2 ) nd (w 1, w 2 ) be pirs of distinct points of H. If d H (z 1, z 2 ) = d H (w 1, w 2 ), then there exists n element m of Möb(H) stisfying m(z 1 ) = w 1 nd m(z 2 ) = w 2. Proof. We cn construct p nd q of Möb(H) such tht q(z 1 ) = p(w 1 ) = i nd q(z 2 ) = p(w 2 ) = e d H(z 1,z 2) i. So m = p 1 q stisfies m(z 1 ) = w 1 nd m(z 2 ) = w 2. Theorem 4.5. Let Isom(H, d H ) denote the group of isometries of (H, d H ), Then Isom(H, d H )=Möb(H). Proof. By Proposition 3.6, we hve tht Möb(H) Isom(H, d H ). Then we show the opposite inclusion using Proposition 4.3. Let f be hyperbolic isometry nd for ech pir of points p nd q of H, let l pq be the hyperbolic line segment joining p to q. Let l be the perpendiculr bisector of l pq, in other words, l = {x H d H (x, p) = d H (x, q)}. Then f(l) is the perpendiculr bisector of f(l pq ) = l f(p)f(q). Now let x nd y be points on the positive imginry xis I in H nd let H be one of the hlf-plnes in H determined by I. By Proposition 4.4, there exists n element m of Möb(H) such tht m(f(x)) = x nd m(f(y)) = y. Since m f fixes x nd y, m f tkes I to I. If necessry, replce m by B m with B(z) = z to hve m lso tke H to H. Let z be point on I. As z is uniquely determined by two hyperbolic distnce d H (x, z) nd d H (y, z) nd s m f preserves hyperbolic distnces, we hve tht m f fixes every point of I. Let w be ny point in H but not in I nd let l be the hyperbolic line through w perpendiculr to I. So l is the hyperbolic line contined in the Eucliden circle with Eucliden center 0 nd Eucliden rdius w. Let z be the intersection of l nd I. As l is the perpendiculr bisector of some hyperbolic line segment in I nd s m f fixes every point in I, m f(l)=l. As m f fixes z, s d H (z, w) = d H (m f(z), m f(w)) = d H (z, m f(w)), nd s m f preserves the two hlf-plnes determined by I, we hve tht m f fixes w.
11 HYPERBOLIC PLANE AS A PATH METRIC SPACE 11 Therefore m f is the identity. So f = m 1, hence f is n element of Möb(H). Therefore Isom(H, d H )=Möb(H). Acknowledgments. It is plesure to thnk my mentor, Kevin Csto, for his support, guidnce, dvice throughout the REU progrm. His support ws crucil to my understnding the mteril nd his ptience nd enthusism kept me motivted. I d lso like to thnk Peter My nd the Deprtment of Mthemtics t the University of Chicgo for providing me this wonderful undergrdute reserch nd study opportunity. References Jmes W. Anderson, Hyperbolic Geometry, Springer Undergrdute Mthemtics Series, 2005
Notes on length and conformal metrics
Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued
More informationMath 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech
Mth 6455 Oct 10, 2006 1 Differentil Geometry I Fll 2006, Georgi Tech Lecture Notes 12 Riemnnin Metrics 0.1 Definition If M is smooth mnifold then by Riemnnin metric g on M we men smooth ssignment of n
More informationTHE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE
THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE YONG JAE KIM Abstract. In order to study the geometries of a hyperbolic plane, it is necessary to understand the set of transformations that map from the space
More informationPartial Derivatives. Limits. For a single variable function f (x), the limit lim
Limits Prtil Derivtives For single vrible function f (x), the limit lim x f (x) exists only if the right-hnd side limit equls to the left-hnd side limit, i.e., lim f (x) = lim f (x). x x + For two vribles
More informationMath 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More informationThe Banach algebra of functions of bounded variation and the pointwise Helly selection theorem
The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f
More informationWe divide the interval [a, b] into subintervals of equal length x = b a n
Arc Length Given curve C defined by function f(x), we wnt to find the length of this curve between nd b. We do this by using process similr to wht we did in defining the Riemnn Sum of definite integrl:
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationPhil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015
Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function
More informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More information13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS
33 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS As simple ppliction of the results we hve obtined on lgebric extensions, nd in prticulr on the multiplictivity of extension degrees, we cn nswer (in
More informationChapter 4 Contravariance, Covariance, and Spacetime Diagrams
Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz
More informationWe partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.
Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn
More informationLecture 3: Curves in Calculus. Table of contents
Mth 348 Fll 7 Lecture 3: Curves in Clculus Disclimer. As we hve textook, this lecture note is for guidnce nd supplement only. It should not e relied on when prepring for exms. In this lecture we set up
More informationClassification of Spherical Quadrilaterals
Clssifiction of Sphericl Qudrilterls Alexndre Eremenko, Andrei Gbrielov, Vitly Trsov November 28, 2014 R 01 S 11 U 11 V 11 W 11 1 R 11 S 11 U 11 V 11 W 11 2 A sphericl polygon is surfce homeomorphic to
More informationSection 17.2 Line Integrals
Section 7. Line Integrls Integrting Vector Fields nd Functions long urve In this section we consider the problem of integrting functions, both sclr nd vector (vector fields) long curve in the plne. We
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationSOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set
SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL 28 Nottion: N {, 2, 3,...}. (Tht is, N.. Let (X, M be mesurble spce with σ-finite positive mesure µ. Prove tht there is finite positive mesure ν on (X, M such
More informationWeek 10: Line Integrals
Week 10: Line Integrls Introduction In this finl week we return to prmetrised curves nd consider integrtion long such curves. We lredy sw this in Week 2 when we integrted long curve to find its length.
More information440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam
440-2 Geometry/Topology: Differentible Mnifolds Northwestern University Solutions of Prctice Problems for Finl Exm 1) Using the cnonicl covering of RP n by {U α } 0 α n, where U α = {[x 0 : : x n ] RP
More informationState space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies
Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More informationMathematics. Area under Curve.
Mthemtics Are under Curve www.testprepkrt.com Tle of Content 1. Introduction.. Procedure of Curve Sketching. 3. Sketching of Some common Curves. 4. Are of Bounded Regions. 5. Sign convention for finding
More informationMath 220A Homework 2 Solutions
Mth 22A Homework 2 Solutions Jim Agler. Let G be n open set in C. ()Show tht the product rule for nd holds for products of C z z functions on G. (b) Show tht if f is nlytic on G, then 2 z z f(z) 2 f (z)
More informationset is not closed under matrix [ multiplication, ] and does not form a group.
Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed
More informationAPPLICATIONS OF THE DEFINITE INTEGRAL
APPLICATIONS OF THE DEFINITE INTEGRAL. Volume: Slicing, disks nd wshers.. Volumes by Slicing. Suppose solid object hs boundries extending from x =, to x = b, nd tht its cross-section in plne pssing through
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationMath 8 Winter 2015 Applications of Integration
Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl
More informationSection 14.3 Arc Length and Curvature
Section 4.3 Arc Length nd Curvture Clculus on Curves in Spce In this section, we ly the foundtions for describing the movement of n object in spce.. Vector Function Bsics In Clc, formul for rc length in
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More informationPolynomials and Division Theory
Higher Checklist (Unit ) Higher Checklist (Unit ) Polynomils nd Division Theory Skill Achieved? Know tht polynomil (expression) is of the form: n x + n x n + n x n + + n x + x + 0 where the i R re the
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More informationLine Integrals. Partitioning the Curve. Estimating the Mass
Line Integrls Suppose we hve curve in the xy plne nd ssocite density δ(p ) = δ(x, y) t ech point on the curve. urves, of course, do not hve density or mss, but it my sometimes be convenient or useful to
More informationThe Form of Hanging Slinky
Bulletin of Aichi Univ. of Eduction, 66Nturl Sciences, pp. - 6, Mrch, 07 The Form of Hnging Slinky Kenzi ODANI Deprtment of Mthemtics Eduction, Aichi University of Eduction, Kriy 448-854, Jpn Introduction
More informationAbsolute values of real numbers. Rational Numbers vs Real Numbers. 1. Definition. Absolute value α of a real
Rtionl Numbers vs Rel Numbers 1. Wht is? Answer. is rel number such tht ( ) =. R [ ( ) = ].. Prove tht (i) 1; (ii). Proof. (i) For ny rel numbers x, y, we hve x = y. This is necessry condition, but not
More informationProblem Set 4: Solutions Math 201A: Fall 2016
Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true
More informationIntegrals along Curves.
Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the
More informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More informationDiophantine Steiner Triples and Pythagorean-Type Triangles
Forum Geometricorum Volume 10 (2010) 93 97. FORUM GEOM ISSN 1534-1178 Diophntine Steiner Triples nd Pythgoren-Type Tringles ojn Hvl bstrct. We present connection between Diophntine Steiner triples (integer
More information38 Riemann sums and existence of the definite integral.
38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the x-xis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These
More informationa n+2 a n+1 M n a 2 a 1. (2)
Rel Anlysis Fll 004 Tke Home Finl Key 1. Suppose tht f is uniformly continuous on set S R nd {x n } is Cuchy sequence in S. Prove tht {f(x n )} is Cuchy sequence. (f is not ssumed to be continuous outside
More informationUniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that
Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
More informationp(t) dt + i 1 re it ireit dt =
Note: This mteril is contined in Kreyszig, Chpter 13. Complex integrtion We will define integrls of complex functions long curves in C. (This is bit similr to [relvlued] line integrls P dx + Q dy in R2.)
More informationMATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 5 SOLUTIONS. cos t cos at dt + i
MATH 85: COMPLEX ANALYSIS FALL 9/ PROBLEM SET 5 SOLUTIONS. Let R nd z C. () Evlute the following integrls Solution. Since e it cos t nd For the first integrl, we hve e it cos t cos t cos t + i t + i. sin
More informationConducting Ellipsoid and Circular Disk
1 Problem Conducting Ellipsoid nd Circulr Disk Kirk T. McDonld Joseph Henry Lbortories, Princeton University, Princeton, NJ 08544 (September 1, 00) Show tht the surfce chrge density σ on conducting ellipsoid,
More informationLecture 13 - Linking E, ϕ, and ρ
Lecture 13 - Linking E, ϕ, nd ρ A Puzzle... Inner-Surfce Chrge Density A positive point chrge q is locted off-center inside neutrl conducting sphericl shell. We know from Guss s lw tht the totl chrge on
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
Lecture 6: Line Integrls INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Anlysis Autumn 2012 August 8, 2012 Lecture 6: Line Integrls Lecture 6: Line Integrls Lecture 6: Line Integrls Integrls of complex
More informationUS01CMTH02 UNIT Curvature
Stu mteril of BSc(Semester - I) US1CMTH (Rdius of Curvture nd Rectifiction) Prepred by Nilesh Y Ptel Hed,Mthemtics Deprtment,VPnd RPTPScience College US1CMTH UNIT- 1 Curvture Let f : I R be sufficiently
More informationSpace Curves. Recall the parametric equations of a curve in xy-plane and compare them with parametric equations of a curve in space.
Clculus 3 Li Vs Spce Curves Recll the prmetric equtions of curve in xy-plne nd compre them with prmetric equtions of curve in spce. Prmetric curve in plne x = x(t) y = y(t) Prmetric curve in spce x = x(t)
More informationIntegration Techniques
Integrtion Techniques. Integrtion of Trigonometric Functions Exmple. Evlute cos x. Recll tht cos x = cos x. Hence, cos x Exmple. Evlute = ( + cos x) = (x + sin x) + C = x + 4 sin x + C. cos 3 x. Let u
More informationLecture notes. Fundamental inequalities: techniques and applications
Lecture notes Fundmentl inequlities: techniques nd pplictions Mnh Hong Duong Mthemtics Institute, University of Wrwick Emil: m.h.duong@wrwick.c.uk Februry 8, 207 2 Abstrct Inequlities re ubiquitous in
More informationKRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION
Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd
More informationPresentation Problems 5
Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
More informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution
More informationa < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1
Mth 33 Volume Stewrt 5.2 Geometry of integrls. In this section, we will lern how to compute volumes using integrls defined by slice nlysis. First, we recll from Clculus I how to compute res. Given the
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationUSA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year
1/1/21. Fill in the circles in the picture t right with the digits 1-8, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.
More informationWell Centered Spherical Quadrangles
Beiträge zur Algebr und Geometrie Contributions to Algebr nd Geometry Volume 44 (003), No, 539-549 Well Centered Sphericl Qudrngles An M d Azevedo Bred 1 Altino F Sntos Deprtment of Mthemtics, University
More informationAppendix to Notes 8 (a)
Appendix to Notes 8 () 13 Comprison of the Riemnn nd Lebesgue integrls. Recll Let f : [, b] R be bounded. Let D be prtition of [, b] such tht Let D = { = x 0 < x 1
More informationHigher Checklist (Unit 3) Higher Checklist (Unit 3) Vectors
Vectors Skill Achieved? Know tht sclr is quntity tht hs only size (no direction) Identify rel-life exmples of sclrs such s, temperture, mss, distnce, time, speed, energy nd electric chrge Know tht vector
More informationLinear Inequalities: Each of the following carries five marks each: 1. Solve the system of equations graphically.
Liner Inequlities: Ech of the following crries five mrks ech:. Solve the system of equtions grphiclly. x + 2y 8, 2x + y 8, x 0, y 0 Solution: Considerx + 2y 8.. () Drw the grph for x + 2y = 8 by line.it
More informationMath 1102: Calculus I (Math/Sci majors) MWF 3pm, Fulton Hall 230 Homework 2 solutions
Mth 1102: Clculus I (Mth/Sci mjors) MWF 3pm, Fulton Hll 230 Homework 2 solutions Plese write netly, nd show ll work. Cution: An nswer with no work is wrong! Do the following problems from Chpter III: 6,
More information2. VECTORS AND MATRICES IN 3 DIMENSIONS
2 VECTORS AND MATRICES IN 3 DIMENSIONS 21 Extending the Theory of 2-dimensionl Vectors x A point in 3-dimensionl spce cn e represented y column vector of the form y z z-xis y-xis z x y x-xis Most of the
More informationDISCRETE MATHEMATICS HOMEWORK 3 SOLUTIONS
DISCRETE MATHEMATICS 21228 HOMEWORK 3 SOLUTIONS JC Due in clss Wednesdy September 17. You my collborte but must write up your solutions by yourself. Lte homework will not be ccepted. Homework must either
More informationJEE(MAIN) 2015 TEST PAPER WITH SOLUTION (HELD ON SATURDAY 04 th APRIL, 2015) PART B MATHEMATICS
JEE(MAIN) 05 TEST PAPER WITH SOLUTION (HELD ON SATURDAY 0 th APRIL, 05) PART B MATHEMATICS CODE-D. Let, b nd c be three non-zero vectors such tht no two of them re colliner nd, b c b c. If is the ngle
More information1. If y 2 2x 2y + 5 = 0 is (A) a circle with centre (1, 1) (B) a parabola with vertex (1, 2) 9 (A) 0, (B) 4, (C) (4, 4) (D) a (C) c = am m.
SET I. If y x y + 5 = 0 is (A) circle with centre (, ) (B) prbol with vertex (, ) (C) prbol with directrix x = 3. The focus of the prbol x 8x + y + 7 = 0 is (D) prbol with directrix x = 9 9 (A) 0, (B)
More information5.7 Improper Integrals
458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of the
More informationPARABOLA EXERCISE 3(B)
PARABOLA EXERCISE (B). Find eqution of the tngent nd norml to the prbol y = 6x t the positive end of the ltus rectum. Eqution of prbol y = 6x 4 = 6 = / Positive end of the Ltus rectum is(, ) =, Eqution
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationThe Third Motivation for Spherical Geometry
The Third Motivtion for Sphericl Geometry Yoichi Med med@keykiccu-tokicjp Deprtment of Mthemtics Toki University Jpn Astrct: Historiclly, sphericl geometry hs developed minly on the terrestril gloe nd
More informationSet Integral Equations in Metric Spaces
Mthemtic Morvic Vol. 13-1 2009, 95 102 Set Integrl Equtions in Metric Spces Ion Tişe Abstrct. Let P cp,cvr n be the fmily of ll nonempty compct, convex subsets of R n. We consider the following set integrl
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationChapter 2. Vectors. 2.1 Vectors Scalars and Vectors
Chpter 2 Vectors 2.1 Vectors 2.1.1 Sclrs nd Vectors A vector is quntity hving both mgnitude nd direction. Emples of vector quntities re velocity, force nd position. One cn represent vector in n-dimensionl
More informationRegulated functions and the regulated integral
Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed
More information10 Vector Integral Calculus
Vector Integrl lculus Vector integrl clculus extends integrls s known from clculus to integrls over curves ("line integrls"), surfces ("surfce integrls") nd solids ("volume integrls"). These integrls hve
More informationIndefinite Integral. Chapter Integration - reverse of differentiation
Chpter Indefinite Integrl Most of the mthemticl opertions hve inverse opertions. The inverse opertion of differentition is clled integrtion. For exmple, describing process t the given moment knowing the
More informationCalculus of Variations
Clculus of Vritions Com S 477/577 Notes) Yn-Bin Ji Dec 4, 2017 1 Introduction A functionl ssigns rel number to ech function or curve) in some clss. One might sy tht functionl is function of nother function
More information4.4 Areas, Integrals and Antiderivatives
. res, integrls nd ntiderivtives 333. Ares, Integrls nd Antiderivtives This section explores properties of functions defined s res nd exmines some connections mong res, integrls nd ntiderivtives. In order
More informationON THE C-INTEGRAL BENEDETTO BONGIORNO
ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives
More informationCBSE-XII-2015 EXAMINATION. Section A. 1. Find the sum of the order and the degree of the following differential equation : = 0
CBSE-XII- EXMINTION MTHEMTICS Pper & Solution Time : Hrs. M. Mrks : Generl Instruction : (i) ll questions re compulsory. There re questions in ll. (ii) This question pper hs three sections : Section, Section
More informationChapter 14. Matrix Representations of Linear Transformations
Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn
More informationTime : 3 hours 03 - Mathematics - March 2007 Marks : 100 Pg - 1 S E CT I O N - A
Time : hours 0 - Mthemtics - Mrch 007 Mrks : 100 Pg - 1 Instructions : 1. Answer ll questions.. Write your nswers ccording to the instructions given below with the questions.. Begin ech section on new
More informationThis is read as: Q is the set of all things of the form a/b where a and b are elements of Z and b is not equal to 0.
1. Some nottion 1.1. Nottion from set theory: We wont worry bout wht set is. If S is set nd x is member of S, we write x S (red s x belongs to S ). If x is not member of S we write x / S. The empty set
More informationMath 360: A primitive integral and elementary functions
Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More informationJackson 2.26 Homework Problem Solution Dr. Christopher S. Baird University of Massachusetts Lowell
Jckson 2.26 Homework Problem Solution Dr. Christopher S. Bird University of Msschusetts Lowell PROBLEM: The two-dimensionl region, ρ, φ β, is bounded by conducting surfces t φ =, ρ =, nd φ = β held t zero
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationA PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES
INROADS Rel Anlysis Exchnge Vol. 26(1), 2000/2001, pp. 381 390 Constntin Volintiru, Deprtment of Mthemtics, University of Buchrest, Buchrest, Romni. e-mil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL
More informationSTUDY GUIDE FOR BASIC EXAM
STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There
More informationLUMS School of Science and Engineering
LUMS School of Science nd Engineering PH- Solution of ssignment Mrch, 0, 0 Brvis Lttice Answer: We hve given tht c.5(î + ĵ + ˆk) 5 (î + ĵ + ˆk) 0 (î + ĵ + ˆk) c (î + ĵ + ˆk) î + ĵ + ˆk + b + c î, b ĵ nd
More informationMath Advanced Calculus II
Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused
More information