Linear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
|
|
- John Bell
- 5 years ago
- Views:
Transcription
1 Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x + ty : t R}, [x, y] = {x + t(y x) : t [0, 1]} = {(1 t)x + ty : t [0, 1]}. The sets xy and [x, y] are, respectvely, the lne passng through x and y, and the (closed) segment wth endponts x, y. Observe that they reduce to a sngleton whenever x = y. We shall use also the followng notaton for non-closed segments: (x, y] = [x, y] \ {x}, [x, y) = [x, y] \ {y}, (x, y) = [x, y] \ {x, y}. Lnear, affne, and convex sets. A set A X s called: lnear f A s a vector subpace of X (.e., A s nonempty, and αx + βy A whenever x, y A, α, β R); affne f the lne passng through any two ponts of A s entrely contaned n A (.e., (1 t)x + ty A whenever x, y A, t R); convex f any segment wth endponts n A s contaned n A (.e., (1 t)x + ty A whenever x, y A, t [0, 1]). Obvously, each lnear set s affne, and each affne set s convex. Moreover, any translate of an affne (convex, respectvely) set s affne (convex, resp.). Example 0.1. A lnear set n R 2 s ether the sngleton {0}, or a lne contanng 0, or the whole R 2. An affne set n R 2 s ether, or a sngleton, or a lne, or R 2. There s a large varety of convex sets n R 2... Proposton 0.2. Let A be a set n a vector space X. (a) A s lnear f and only f A s affne and contans 0. (b) A s affne f and only f ether A = or A s a translate of a lnear set. (Moreover, the lnear set s unque n ths case.) Proof. Exercse. By Proposton 0.2(b), the followng defnton s justfed. The dmenson and the codmenson of an affne set A X s defned as, respectvely, the dmenson and the codmenson of the (unque) lnear translate of A. 1
2 2 Hyperplanes. A set H X s a hyperplane n X f t s an affne set of codmenson 1. Equvalently, a hyperplane s any maxmal proper affne subset of X. Proposton 0.3. A set H X s a hyperplane f and only f t s of the form H = ϕ 1 (α) where ϕ: X R s a nonzero lnear functonal and α R. Proof. Fx any x 0 H. By Proposton 0.2, the set Y = H x 0 s a lnear subspace of codmenson 1 n X. Fx any v 0 X \ Y. Then each x X has a unque representaton of the form x = y x + t x v 0 where y x Y, t x R. The mappng ϕ(x) := t x s lnear and satsfes x H x x 0 Y ϕ(x x 0 ) = 0 ϕ(x) = ϕ(x 0 ). Thus we can put α = ϕ(x 0 ). It s easy to see that ϕ 1 (α) s a translate of the kernel ϕ 1 (0). We have to show that ϕ 1 (0) has codmenson 1. Fx some v 0 X \ ϕ 1 (0) (ths s possble snce ϕ 0). By substtutng v 0 by ts approprate multple, we can suppose that ϕ(v 0 ) = 1. Then every x X can be wrtten n the form snce ϕ(x ϕ(x)v 0 ) = 0. x = [x ϕ(x)v 0 ] + ϕ(x)v 0 ϕ 1 (0) + Rv 0 Corollary 0.4. Let H be a hyperplane n X. Then X can be wrtten as a dsjont unon X = H H + H n such a way that f x H + and y H then [x, y] H s a sngleton. (The sets H +, H are the algebracally open halfspaces generated by H.) Proof. Exercse. Hnt: take ϕ, α as n Proposton 0.3 and consder H + = {x X : ϕ(x) > α}, H = {x X : ϕ(x) < α}. Convex and affne combnatons. Defnton 0.5. Let A X. An affne combnaton of elements of A s any fnte sum of the form (1) λ x where x A, λ R, n 1 λ j = 1. A convex combnaton of elements of A s any fnte sum of the form (1) wth λ 0 ( = 1,..., n). Proposton 0.6. Every convex/affne/lnear set n a vector space X s closed under makng convex/affne/lnear combnatons of ts elements. Proof. The lnear part s well known from Lnear Algebra. Let C be a convex set and x = n λ x be a convex combnaton of elements of C. We want to prove that x C. Let us proceed by nducton wth respect to n. For n = 1, we have x = x 1 C. Now, suppose that the case n = k holds, and consder the case n = k + 1, that s, x = k+1 λ x wth x C, λ 0,
3 k+1 1 λ j = 1. If λ k+1 = 1 then necessarly x = x k+1 C. Suppose λ k+1 1. Then s := k 1 λ j = 1 λ k+1 0. We can wrte [ k ] λ x = (1 λ k+1 ) s x + λ k+1 x k+1. Snce the sum n the quare brackets belongs to C by our nducton assumpton, x belongs to C. The affne part can be proved n the same way. The only dfference s that we start wth ndexng the ponts x n such a way that λ k+1 1 (f ths s not possble, we are n a trval case). It s easy to see that the set of all convex combnatons of elements of {x, y} s the segment [x, y], and the set of all affne combnatons of elements of {x, y} s the lne xy. Observaton 0.7. A convex/affne combnaton of convex/affne combnatons of elements of A s a convex/affne combnaton of elements of A. Fact 0.8. Let X be a normed lnear space, x, y, z X, z (x, y). Then x y = x z + z y and z = z y x y x + x z x y y. Proof. We have z = (1 t)x + ty for some t (0, 1). Then z x = t(y x) and z y = (1 t)(x y). Passng to norms we get t = z x z y y x and 1 t = x y. Now the two formulas easly follow. 3 Hulls. It s an easy but mportant observaton that the ntersecton of any famly of lnear/affne/convex sets s agan a lnear/affne/convex set. (The same does not hold for unons, but does holds for lnearly ordered unons.) Gven a set A X, the ntersecton of all lnear sets contanng A s the lnear hull of A, denoted by span(a). Analogously, we can defne the affne hull of A as the ntersecton of all affne sets contanng A, and the convex hull of A as the ntersecton of all convex sets contanng A. The affne and the convex hull of A wll be denoted by aff(a) and conv(a), respectvely. Obvously, A s lnear f and only f span(a) = A; A s affne f and only f aff(a) = A; A s convex f and only f conv(a) = A. It s a well known fact that the lnear hull of a set A concdes wth the set of all lnear combnatons of elements of A. The followng theorem states that analogous propertes hold for convex hulls and for affne hulls as well. Theorem 0.9. Let A be a set n a vector space X. Then conv(a) = {x X : x s a convex combnaton of elements of A}, aff(a) = {x X : x s an affne combnaton of elements of A}.
4 4 Proof. Let us prove the frst formula (the second one s analogous). By Observaton 0.7, the set C of all convex combnatons of ponts of A s convex; thus conv(a) C. On the other hand, any pont x C, beng a convex combnaton of ponts of conv(a), belongs to conv(a) by Proposton 0.6. Let A be an affne set n a vector space X of a fnte dmenson d and let x aff(a). By translaton, we can suppose that 0 A. In ths case, x belongs to the lnear hull of A, and hence t s a lnear combnaton of at most d elements of A: x = d λ x where λ R, x A. Snce 0 A, we can wrte x as an affne combnaton of d + 1 ponts of A: x = λ d λ x wth λ 0 = 1 n 1 λ j. Thus we have proved that, n an d-dmensonal vector space, every pont of the affne hull of a set s an affne combnaton of d + 1 or fewer ponts of A. The followng mportant theorem shows that a smlar result holds for convex hulls as well. Theorem 0.10 (Carathéodory). Let A be a subset of a d-dmensonal vector space X. Then conv(a) = {x X : x s a convex combnaton of d + 1 or fewer ponts of A}. Proof. By Theorem 0.9, t suffces to show that every pont of the form x = λ x where λ R, x A, λ j = 1, =0 (a convex combnaton of n + 1 ponts of A) s a convex combnaton of d + 1 or fewer ponts of A. If n d, there s nothng to prove. Let n > d. By translaton, we can (and do) suppose that x 0 = 0. Snce the set {x 1,..., x n } s lnearly dependent, there exst real numbers α 1,..., α n, not all of them null, such that (2) α x = 0. Snce (2) remans true f we change the sgn of all α s, we can suppose that n 1 α 0. Observe that the set I = { {1,..., n} : α > 0} s nonempty. (Indeed, otherwse we would have n 1 α < 0 snce not all a s are null.) For each t > 0, we have x = λ x t α x = (λ tα )x. Observe that all coeffcents n the last sum wll be nonnegatve provded t λ α each I. Choose k I so that λ k α k = mn{ λ α 0 for : I}. Then, for t = λ k α k, we have
5 λ tα 0 for each 1 n, λ k tα k = 0, and n 1 (λ j tα j ) = n 1 λ j t n 1 α j n 1 λ j 1. Snce x = [ 1 n 1 (λ j tα j ) ] 0 + (λ tα )x, we have wrtten x as a convex combnaton of less than n + 1 ponts of A. So, we have proved that, n any convex combnaton x of more than d + 1 ponts, an approprate change of coeffcents allows us to throw out one of the ponts wthout changng x. Now, the proof follows by repeatng ths procedure untll we arrve to at most d + 1 ponts. Theorem Let X be a normed space of a fnte dmenson, K X a compact set. Then conv(k) s compact. Proof. Let d = dm(x). Denote Λ = {λ = (λ ) d 0 [0, 1]d+1 : d 0 λ = 1}, and defne F : Λ K d+1 X by F (λ, x 0,..., x d ) = d =0 λ x. By the Carathéodory theorem, we have k conv(k) = {F (λ, x 0,..., x d ) : λ Λ, x K} = F (Λ K d+1 ). The last set s compact snce F s contnuous and Λ K d+1 s a compact metrc space. Corollary In any normed space, the convex hull of a fnte set s compact. (Indeed, we can restrct ourselves to a fnte-dmensonal subspace, and apply the above theorem.) The next example shows that the assumpton on the dmenson of the space n Theorem 0.11 cannot be omtted. Example Consder the Hlbert space l 2 and a set K = { en n : n N} {0}, where e n s the n-th vector of the standard orthonormal bass of l 2. The set K s compact snce en n 0. We clam that conv(k) s not compact snce t s not closed. Frst, the ponts x n := ( n 1 2 j ) 1 n 2 (e /) (n N) belong to K. Second, the sequence {x n } converges n l 2 to the pont x = (x n ) wth x n = 2 n (1/n) for each n (Exercse: prove ths!). Thrd, observe that every element of conv(k) has a fnte support; thus x / conv(k). However, we shall see n a moment that, f the normed space s complete, the closedness s the unque thng whch can prevent the convex hull of a compact set from beng compact. Defnton Let X be a normed space, A X. The closed convex hull of A s the ntersecton of all closed convex sets contanng A, and t s denoted by conv(a). Observaton Let X be a normed space, A X. Then conv(a) = conv(a). 5
6 6 Recall that a metrc space (M, d) s totally bounded (or precompact) f, for each ε > 0, t contans a fnte ε-net, that s, a fnte set F ε such that d(x, F ε ) < ε for each x M. It s a well known fact that M s compact f and only f M s complete and totally bounded. Exercse Let (M, d) be a metrc space, A M. (a) A s totally bounded f and only f A s totally bounded. (b) A s totally bounded f and only f, for each ε > 0, there exsts a compact set K M such that d(x, K) < ε for each x A. Theorem Let X be a normed lnear space, A X a totally bounded set. (a) conv(a) s totally bounded. (b) If X s a Banach space, then conv(a) s compact. Proof. (a) Fx ε > 0. There exsts a fnte set A 0 A such that, for each a A, there exsts y a A 0 wth a y a < ε. The set conv(a 0 ) s compact by Corollary Now, f x conv(a), we can wrte x = n λ a where a A, λ 0, n 1 λ j = 1. The pont c = n λ y a belongs to conv(a 0 ) and t satsfes x c n λ a y a < ε n λ = ε. By Exercse 0.16(b), conv(a) s totally bounded. To show (b) t suffces to observe that conv(a) s complete (snce t s closed and X s complete) and totally bounded (by (a) above and Exercse 0.16(a)). Now, let us consder convex hulls of fntely many convex sets. We can see the part (b) of Theorem 0.18 as a generalzaton of the fact that a convex hull of a fnte set s compact. Theorem Let X be a normed space. Let C 1,..., C n be convex subsets of X. (a) conv(c 1... C n ) = { n λ x : x C, λ 0, n 1 λ j = 1}. (b) If each C s compact, then conv(c 1... C n ) s compact. (c) If C 1 s closed and bounded, and the sets C 2,..., C n are compact, then conv(c 1... C n ) s closed. Proof. (a) The ncluson s obvous. To see the reverse one, consder x conv(c 1... C n ) and wrte t as a convex combnaton of elements y k (k = 1,..., K) of C 1... C n. Snce each of y k s belongs to some C, we can group them wth respect to whch set they belong. Thus x can be wrtten n the form x = λ k y k, k J where J s are parwse dsjont, n 1 J = {1,..., K}, K 1 λ k = 1, and x k C whenever k J.
7 For every fxed {1,..., n}, denote µ = k J λ k. If µ = 0, fx an arbtrary x C. If µ > 0, denote x = λ k k J µ y k and observe that x C. Now, we have x = µ x and µ = 1. (b) follows n the same way as n the proof of Theorem Indeed, usng (a), we can wrte conv(c 1... C n ) = F (Λ C 1... C n ) where Λ = {λ [0, 1] n : n 1 λ = 1} and F (λ, x 1,..., x n ) = n λ x. Thus conv(c 1... C n ) s compact snce t s a contnuous mage of a compact metrc space. (c) Let {x m } conv(c 1... C n ) be a sequence convergng to some x X. By (a), each x m can be wrtten as a convex combnaton x m = λ (m) where C. Usng the fact that [0, 1], C 2,..., C n are compact, we can pass to subsequences to assure that λ (m) λ [0, 1] (1 n) and c C (2 n) as m +. Observe that n 1 λ = 1. Let us consder two cases. If λ 1 = 0, we have λ (m) (snce C 1 s bounded) and hence x = lm x m = lm λ (m) m m = λ c conv(c 2... C n ) conv(c 1... C n ). =2 If λ 1 > 0, we can wrte =2 ( 1 = 1 λ (m) x m 1 =2 λ (m) Thus 1 1 λ (x n =2 λ c ) =: c 1 C 1 (snce C 1 s closed). Consequently, x = lm x m = λ c conv(c 1... C n ). m Corollary In any normed lnear space, conv(c F ) s closed whenever C s closed, bounded, and convex, and F s fnte. Example The assumpton that C s bounded n Corollary 0.19 cannot be omtted. To see ths, consder a lne C n the plane, and a pont x 0 / C. Then conv(c {x 0 }) s not closed. (Why?) ). 7
Affine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationMAT 578 Functional Analysis
MAT 578 Functonal Analyss John Qugg Fall 2008 Locally convex spaces revsed September 6, 2008 Ths secton establshes the fundamental propertes of locally convex spaces. Acknowledgment: although I wrote these
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationREAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
More informationLecture 7: Gluing prevarieties; products
Lecture 7: Glung prevaretes; products 1 The category of algebrac prevaretes Proposton 1. Let (f,ϕ) : (X,O X ) (Y,O Y ) be a morphsm of algebrac prevaretes. If U X and V Y are affne open subvaretes wth
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationExercise Solutions to Real Analysis
xercse Solutons to Real Analyss Note: References refer to H. L. Royden, Real Analyss xersze 1. Gven any set A any ɛ > 0, there s an open set O such that A O m O m A + ɛ. Soluton 1. If m A =, then there
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationRepresentation theory and quantum mechanics tutorial Representation theory and quantum conservation laws
Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationAppendix B. Criterion of Riemann-Stieltjes Integrability
Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationGenericity of Critical Types
Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More information1 Matrix representations of canonical matrices
1 Matrx representatons of canoncal matrces 2-d rotaton around the orgn: ( ) cos θ sn θ R 0 = sn θ cos θ 3-d rotaton around the x-axs: R x = 1 0 0 0 cos θ sn θ 0 sn θ cos θ 3-d rotaton around the y-axs:
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationErrata to Invariant Theory with Applications January 28, 2017
Invarant Theory wth Applcatons Jan Drasma and Don Gjswjt http: //www.wn.tue.nl/~jdrasma/teachng/nvtheory0910/lecturenotes12.pdf verson of 7 December 2009 Errata and addenda by Darj Grnberg The followng
More informationAffine and Riemannian Connections
Affne and Remannan Connectons Semnar Remannan Geometry Summer Term 2015 Prof Dr Anna Wenhard and Dr Gye-Seon Lee Jakob Ullmann Notaton: X(M) space of smooth vector felds on M D(M) space of smooth functons
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationBOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
More informationMath 205A Homework #2 Edward Burkard. Assume each composition with a projection is continuous. Let U Y Y be an open set.
Math 205A Homework #2 Edward Burkard Problem - Determne whether the topology T = fx;?; fcg ; fa; bg ; fa; b; cg ; fa; b; c; dgg s Hausdor. Choose the two ponts a; b 2 X. Snce there s no two dsjont open
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationSome basic inequalities. Definition. Let V be a vector space over the complex numbers. An inner product is given by a function, V V C
Some basc nequaltes Defnton. Let V be a vector space over the complex numbers. An nner product s gven by a functon, V V C (x, y) x, y satsfyng the followng propertes (for all x V, y V and c C) (1) x +
More informationModule 2. Random Processes. Version 2 ECE IIT, Kharagpur
Module Random Processes Lesson 6 Functons of Random Varables After readng ths lesson, ou wll learn about cdf of functon of a random varable. Formula for determnng the pdf of a random varable. Let, X be
More informationON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction
ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES TAKASHI ITOH AND MASARU NAGISA Abstract We descrbe the Haagerup tensor product l h l and the extended Haagerup tensor product l eh l n terms of
More information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
More information12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationMath 101 Fall 2013 Homework #7 Due Friday, November 15, 2013
Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group
More informationBezier curves. Michael S. Floater. August 25, These notes provide an introduction to Bezier curves. i=0
Bezer curves Mchael S. Floater August 25, 211 These notes provde an ntroducton to Bezer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of the
More informationTHE WEIGHTED WEAK TYPE INEQUALITY FOR THE STRONG MAXIMAL FUNCTION
THE WEIGHTED WEAK TYPE INEQUALITY FO THE STONG MAXIMAL FUNCTION THEMIS MITSIS Abstract. We prove the natural Fefferman-Sten weak type nequalty for the strong maxmal functon n the plane, under the assumpton
More information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
More informationfind (x): given element x, return the canonical element of the set containing x;
COS 43 Sprng, 009 Dsjont Set Unon Problem: Mantan a collecton of dsjont sets. Two operatons: fnd the set contanng a gven element; unte two sets nto one (destructvely). Approach: Canoncal element method:
More informationVolume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2].
Bulletn of Mathematcal Scences and Applcatons Submtted: 016-04-07 ISSN: 78-9634, Vol. 18, pp 1-10 Revsed: 016-09-08 do:10.1805/www.scpress.com/bmsa.18.1 Accepted: 016-10-13 017 ScPress Ltd., Swtzerland
More informationREDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].
REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß
More informationWe call V a Banach space if it is complete, that is to say every Cauchy sequences in V converges to an element of V. (a (k) a (l) n ) (a (l)
Queston 1 Part () Suppose (a n ) =. Then sup{ a N} =. But a for all, so t follows that a = for all, that s to say (a n ) =. Let (a n ) c and α C. Then αa = α α for each, so α(a n ) = (αa n ) = sup{ α a
More informationCOUNTABLE-CODIMENSIONAL SUBSPACES OF LOCALLY CONVEX SPACES
COUNTABLE-CODIMENSIONAL SUBSPACES OF LOCALLY CONVEX SPACES by J. H. WEBB (Receved 9th December 1971) A barrel n a locally convex Hausdorff space E[x] s a closed absolutely convex absorbent set. A a-barrel
More informationp-adic Galois representations of G E with Char(E) = p > 0 and the ring R
p-adc Galos representatons of G E wth Char(E) = p > 0 and the rng R Gebhard Böckle December 11, 2008 1 A short revew Let E be a feld of characterstc p > 0 and denote by σ : E E the absolute Frobenus endomorphsm
More informationExpected Value and Variance
MATH 38 Expected Value and Varance Dr. Neal, WKU We now shall dscuss how to fnd the average and standard devaton of a random varable X. Expected Value Defnton. The expected value (or average value, or
More informationBayesian epistemology II: Arguments for Probabilism
Bayesan epstemology II: Arguments for Probablsm Rchard Pettgrew May 9, 2012 1 The model Represent an agent s credal state at a gven tme t by a credence functon c t : F [0, 1]. where F s the algebra of
More informationOn the Operation A in Analysis Situs. by Kazimierz Kuratowski
v1.3 10/17 On the Operaton A n Analyss Stus by Kazmerz Kuratowsk Author s note. Ths paper s the frst part slghtly modfed of my thess presented May 12, 1920 at the Unversty of Warsaw for the degree of Doctor
More informationR n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β
Readng. Ch. 3 of Lee. Warner. M s an abstract manfold. We have defned the tangent space to M va curves. We are gong to gve two other defntons. All three are used n the subject and one freely swtches back
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationwhere a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets
11. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More information42. Mon, Dec. 8 Last time, we were discussing CW complexes, and we considered two di erent CW structures on S n. We continue with more examples.
42. Mon, Dec. 8 Last tme, we were dscussng CW complexes, and we consdered two d erent CW structures on S n. We contnue wth more examples. (2) RP n. Let s start wth RP 2. Recall that one model for ths space
More informationGeneral viscosity iterative method for a sequence of quasi-nonexpansive mappings
Avalable onlne at www.tjnsa.com J. Nonlnear Sc. Appl. 9 (2016), 5672 5682 Research Artcle General vscosty teratve method for a sequence of quas-nonexpansve mappngs Cuje Zhang, Ynan Wang College of Scence,
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationCaps and Colouring Steiner Triple Systems
Desgns, Codes and Cryptography, 13, 51 55 (1998) c 1998 Kluwer Academc Publshers, Boston. Manufactured n The Netherlands. Caps and Colourng Stener Trple Systems AIDEN BRUEN* Department of Mathematcs, Unversty
More informationSTEINHAUS PROPERTY IN BANACH LATTICES
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT STEINHAUS PROPERTY IN BANACH LATTICES DAMIAN KUBIAK AND DAVID TIDWELL SPRING 2015 No. 2015-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookevlle, TN 38505 STEINHAUS
More informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
More informationCONVERGENCE OF A GENERALIZED MIDPOINT ITERATION
CONVERGENCE OF A GENERALIZED MIDPOINT ITERATION JARED ABLE, DANIEL BRADLEY, ALVIN MOON, AND XINGPING SUN Abstract. We gve an analytc proof for the Hausdorff convergence of the mdpont or derved polygon
More informationMath 396. Metric tensor on hypersurfaces
Math 396. Metrc tensor on hypersurfaces 1. Motvaton Let U R n be a non-empty open subset and f : U R a C -functon. Let Γ U R be the graph of f. The closed subset Γ n U R proects homeomorphcally onto U
More informationBézier curves. Michael S. Floater. September 10, These notes provide an introduction to Bézier curves. i=0
Bézer curves Mchael S. Floater September 1, 215 These notes provde an ntroducton to Bézer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of
More informationarxiv: v1 [math.co] 1 Mar 2014
Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest
More informationTHE CLASS NUMBER THEOREM
THE CLASS NUMBER THEOREM TIMUR AKMAN-DUFFY Abstract. In basc number theory we encounter the class group (also known as the deal class group). Ths group measures the extent that a rng fals to be a prncpal
More information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationSubset Topological Spaces and Kakutani s Theorem
MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationSalmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2
Salmon: Lectures on partal dfferental equatons 5. Classfcaton of second-order equatons There are general methods for classfyng hgher-order partal dfferental equatons. One s very general (applyng even to
More informationCoordinate-Free Projective Geometry for Computer Vision
MM Research Preprnts,131 165 No. 18, Dec. 1999. Beng 131 Coordnate-Free Proectve Geometry for Computer Vson Hongbo L, Gerald Sommer 1. Introducton How to represent an mage pont algebracally? Gven a Cartesan
More informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More information(2mn, m 2 n 2, m 2 + n 2 )
MATH 16T Homewk Solutons 1. Recall that a natural number n N s a perfect square f n = m f some m N. a) Let n = p α even f = 1,,..., k. be the prme factzaton of some n. Prove that n s a perfect square f
More informationDifferential Polynomials
JASS 07 - Polynomals: Ther Power and How to Use Them Dfferental Polynomals Stephan Rtscher March 18, 2007 Abstract Ths artcle gves an bref ntroducton nto dfferental polynomals, deals and manfolds and ther
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
More informationGELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n
GELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n KANG LU FINITE DIMENSIONAL REPRESENTATIONS OF gl n Let e j,, j =,, n denote the standard bass of the general lnear Le algebra gl n over the feld of
More informationMA 323 Geometric Modelling Course Notes: Day 13 Bezier Curves & Bernstein Polynomials
MA 323 Geometrc Modellng Course Notes: Day 13 Bezer Curves & Bernsten Polynomals Davd L. Fnn Over the past few days, we have looked at de Casteljau s algorthm for generatng a polynomal curve, and we have
More informationALGEBRA HW 7 CLAY SHONKWILER
ALGEBRA HW 7 CLAY SHONKWILER 1 Whch of the followng rngs R are dscrete valuaton rngs? For those that are, fnd the fracton feld K = frac R, the resdue feld k = R/m (where m) s the maxmal deal), and a unformzer
More informationAli Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout
More informationThe Multiple Classical Linear Regression Model (CLRM): Specification and Assumptions. 1. Introduction
ECONOMICS 5* -- NOTE (Summary) ECON 5* -- NOTE The Multple Classcal Lnear Regresson Model (CLRM): Specfcaton and Assumptons. Introducton CLRM stands for the Classcal Lnear Regresson Model. The CLRM s also
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationCounterexamples to the Connectivity Conjecture of the Mixed Cells
Dscrete Comput Geom 2:55 52 998 Dscrete & Computatonal Geometry 998 Sprnger-Verlag New York Inc. Counterexamples to the Connectvty Conjecture of the Mxed Cells T. Y. L and X. Wang 2 Department of Mathematcs
More informationMATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1
MATH 5707 HOMEWORK 4 SOLUTIONS CİHAN BAHRAN 1. Let v 1,..., v n R m, all lengths v are not larger than 1. Let p 1,..., p n [0, 1] be arbtrary and set w = p 1 v 1 + + p n v n. Then there exst ε 1,..., ε
More informationQuantum Mechanics for Scientists and Engineers. David Miller
Quantum Mechancs for Scentsts and Engneers Davd Mller Types of lnear operators Types of lnear operators Blnear expanson of operators Blnear expanson of lnear operators We know that we can expand functons
More information17. Coordinate-Free Projective Geometry for Computer Vision
17. Coordnate-Free Projectve Geometry for Computer Vson Hongbo L and Gerald Sommer Insttute of Computer Scence and Appled Mathematcs, Chrstan-Albrechts-Unversty of Kel 17.1 Introducton How to represent
More informationRandom Walks on Digraphs
Random Walks on Dgraphs J. J. P. Veerman October 23, 27 Introducton Let V = {, n} be a vertex set and S a non-negatve row-stochastc matrx (.e. rows sum to ). V and S defne a dgraph G = G(V, S) and a drected
More informationSolutions Homework 4 March 5, 2018
1 Solutons Homework 4 March 5, 018 Soluton to Exercse 5.1.8: Let a IR be a translaton and c > 0 be a re-scalng. ˆb1 (cx + a) cx n + a (cx 1 + a) c x n x 1 cˆb 1 (x), whch shows ˆb 1 s locaton nvarant and
More informationLecture 3: Probability Distributions
Lecture 3: Probablty Dstrbutons Random Varables Let us begn by defnng a sample space as a set of outcomes from an experment. We denote ths by S. A random varable s a functon whch maps outcomes nto the
More informationProblem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?
Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2
More informationApproximate Smallest Enclosing Balls
Chapter 5 Approxmate Smallest Enclosng Balls 5. Boundng Volumes A boundng volume for a set S R d s a superset of S wth a smple shape, for example a box, a ball, or an ellpsod. Fgure 5.: Boundng boxes Q(P
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationPHYS 705: Classical Mechanics. Calculus of Variations II
1 PHYS 705: Classcal Mechancs Calculus of Varatons II 2 Calculus of Varatons: Generalzaton (no constrant yet) Suppose now that F depends on several dependent varables : We need to fnd such that has a statonary
More informationSpectral Graph Theory and its Applications September 16, Lecture 5
Spectral Graph Theory and ts Applcatons September 16, 2004 Lecturer: Danel A. Spelman Lecture 5 5.1 Introducton In ths lecture, we wll prove the followng theorem: Theorem 5.1.1. Let G be a planar graph
More informationRestricted Lie Algebras. Jared Warner
Restrcted Le Algebras Jared Warner 1. Defntons and Examples Defnton 1.1. Let k be a feld of characterstc p. A restrcted Le algebra (g, ( ) [p] ) s a Le algebra g over k and a map ( ) [p] : g g called
More informationMath 702 Midterm Exam Solutions
Math 702 Mdterm xam Solutons The terms measurable, measure, ntegrable, and almost everywhere (a.e.) n a ucldean space always refer to Lebesgue measure m. Problem. [6 pts] In each case, prove the statement
More information= = = (a) Use the MATLAB command rref to solve the system. (b) Let A be the coefficient matrix and B be the right-hand side of the system.
Chapter Matlab Exercses Chapter Matlab Exercses. Consder the lnear system of Example n Secton.. x x x y z y y z (a) Use the MATLAB command rref to solve the system. (b) Let A be the coeffcent matrx and
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationSELECTED SOLUTIONS, SECTION (Weak duality) Prove that the primal and dual values p and d defined by equations (4.3.2) and (4.3.3) satisfy p d.
SELECTED SOLUTIONS, SECTION 4.3 1. Weak dualty Prove that the prmal and dual values p and d defned by equatons 4.3. and 4.3.3 satsfy p d. We consder an optmzaton problem of the form The Lagrangan for ths
More informationPriority Programme 1962
Prorty Programme 1962 The Weak Sequental Closure of Decomposable Sets n Lebesgue Spaces and ts Applcaton to Varatonal Geometry Patrck Mehltz, Gerd Wachsmuth Non-smooth and Complementarty-based Dstrbuted
More informationSPECTRAL PROPERTIES OF IMAGE MEASURES UNDER THE INFINITE CONFLICT INTERACTION
SPECTRAL PROPERTIES OF IMAGE MEASURES UNDER THE INFINITE CONFLICT INTERACTION SERGIO ALBEVERIO 1,2,3,4, VOLODYMYR KOSHMANENKO 5, MYKOLA PRATSIOVYTYI 6, GRYGORIY TORBIN 7 Abstract. We ntroduce the conflct
More informationINTERSECTION THEORY CLASS 13
INTERSECTION THEORY CLASS 13 RAVI VAKIL CONTENTS 1. Where we are: Segre classes of vector bundles, and Segre classes of cones 1 2. The normal cone, and the Segre class of a subvarety 3 3. Segre classes
More informationLecture 20: Lift and Project, SDP Duality. Today we will study the Lift and Project method. Then we will prove the SDP duality theorem.
prnceton u. sp 02 cos 598B: algorthms and complexty Lecture 20: Lft and Project, SDP Dualty Lecturer: Sanjeev Arora Scrbe:Yury Makarychev Today we wll study the Lft and Project method. Then we wll prove
More informationChapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems
Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons
More information