1. Ultrametric fields
|
|
- Daniela Ellis
- 5 years ago
- Views:
Transcription
1 1. Ultrametric fields This first chapter is aimed at recalling basic definitions and properties on ultrametric fields. We will examine ultrametric absolute values, valuation rings and residue fields. Particularly, we will define holes of a subset and infraconnected sets that are essential with regards to the behaviour of analytic functions (certain authors improperly call such sets connected sets which makes no sens in topology since there are no connected sets except singletons in an ultrametric field). A major interest of the class of infraconnected sets (among others) is that this is the biggest class of sets of an ultrametric complete algebraically closed field where the famous Krasner Mittag-Leffler theorem. Definitions and notations: Throughout the book, we denote by N the set of integers 0, by Z the ring of relative integers, by Q the field of rational numbers, by R the field of real numbers and by C the field of complex numbers. Given a topological space T and a subset S of T,wedenotebyS its closure (also called adherence) and by S its interior (also called opening). Let E be a field provided with an absolute value. and let log be a real logarithm function of basis θ>1. We call valuation associated to that absolute value the mapping v from E to R defined as v(x) = log x and here, we set Ψ(x) = log x and E = { x x E}. If a set F contains the zero of a ring, we denote by F the set F \{0}. An absolute value is said to be trivial if x =1 x E \{0}. Throughout the book, we will denote by L a field complete with respect to a non-trivial ultrametric absolute value and by K an algebraically closed field complete with respect to a non-trivial ultrametric absolute value. We will denote by. the archimedean absolute value defined on R. Lemma 1.1 is immediate: Lemma 1.1: LetEbeafieldprovidedwithanultrametricabsolutevalue.. The completion of E with respect to that absolute value is provided with an ultrametric absolute value which continues that of E. The set { x x E } is a subgroup of the multiplicative group R +. Definition: Given a field E provided with an ultrametric absolute value., the multiplicative group { x x E } is called the value group of E and the additive group {v(x) x E} is called valuation group of E. Similarly, the set {Ψ(x) x E } is a subgroup of R called valuation group of E. The field E is said to have discrete valuation or to have discrete absolute value if its valuation group is a discrete subgroup of R and hence is isomorphic to Z. Else, the valuation group is dense in R and E is said to have dense valuation or to have a dense absolute value.
2 2 Ultrametric fields Lemma 1.2 is classical and proven in the same way no matter what the absolute value of E. Lemma 1.2: Let E be a field provided with two absolute values whose associated valuations are v and w, respectively. They are equivalent if and only if there exists r>0 such that w(x) =rv(x) whenever x E. Proof. If such a r exists, the two absolute values are seen to be equivalent. Reciprocally, we assume them to be equivalent and take a E such that v(a) 0. It is seen that w(a) 0. On the other hand, for all x E and for all m, n N, we have v( xm v(x) ) > 0 if and only if w(xm ) > 0. Therefore, we see that an an v(a) > n m is equivalent to w(x) w(a) > n. Then, since Q is dense in R, wehavev(x) m v(a) = w(x) w(a) whenever x E and therefore w(x) v(x) = w(a) v(a). Notations: The set of the x E such that x 1 will be denoted by U E and the set of the x E such that x < 1 will be denoted by M E. Then Lemma 1.3 is immediate: Lemma 1.3: U E is a local subring of E whose maximal ideal is M E. Definitions and notations: Henceforth U E is called the valuation ring of E. The maximal ideal M E of U E is called the valuation ideal and the field L = U E M E is called the residue class field of E. For any a E, the residue class of a will be denoted by a. The characteristic of E is named the residue characteristic of E and will be denoted by p. Lemma 1.4: Let F be a subfield of E, lete (resp. F) be the residue class field of E (resp. of F ). Then F is a subfield of E. IfE is algebraically closed and if its valuation is not trivial, it is dense. Proof. The first statement is immediate. Next, given α E such that 0 < α < 1andβ E such that β q = α s we have v(β) = q s v(α) whenever s N and q Z. Lemma 1.5: Let V be a L-vector space of finite dimension provided with two norms. Then the two norms are equivalent. Proof. Let. and. be the two norms on V. We proceed by induction on the dimension of V and assume the equivalence true for subspaces of dimension n<q.letv have dimension q. Lete 1,...e q be a base of V. Let us suppose that the two norms are not equivalent on V. Then there exists a sequence (u n ) n N
3 Ultrametric fields 3 q of the form u n = a j,n e j, with u n 1, such that lim u n =0. Let n j=1 S be the subspace of V generated by {e 1,..., e q 1 }. For every n N, we put q 1 v n = a j,n e j. j=1 First, we suppose that (1) lim a q,n =0. n Since lim u n = 0, we have lim v n = 0. By hypothesis, the restrictions n n of the two norms to S are equivalent, hence we have lim v n = 0. But since n u n 1 for all n N, this contradicts (1). Now, since (1) is not true, there exists a subsequence of the sequence ( a q,n ) n N that admits a strictly positive lower bound and therefore, without loss of generality, we can clearly assume that there exists r>0 such that a q,n r for all n N. Let(x n ) n N be the sequence defined as x n = u n. It is seen that a q,n (2) lim x n =0. n The two norms. and. are equivalent on S and they both are equivalent q 1 to the product norm. defined as b j e j = max b j. Since E is 1 j q 1 j=1 complete, S is complete with respect to., hence S is closed in V with respect to the two norms. and.. Hence by (2) e q belongs to S, which is absurd and finishes the proof. Theorem 1.6: Let F be an algebraic extension of L, provided with two absolute values extending the one L. These absolute values are equal. Proof. Let v, w be the valuations associated to these absolute values. Let a F. By Lemma 1.5, the two absolute values are equivalent on L[a]. Hence by lemma 1.2, there exists r>0 such that w(x) =rv(x) whenever x L[a]. But since v(x) =w(x) whenever x L and since there exists u L such that v(u) 0, we have r =1. Lemma 1.7: Let A be a L-algebra. Let φ be a semi-norm of L-algebra satisfying φ(x n )=(φ(x)) n x A. Thenφ is ultrametric. Proof. Let a, b A satisfy φ(a) ϕ(b). We just have to show that φ(a + b) φ(a). Obviously we have φ((a + b) n )=φ ( n Cn k ak b n k). For each k =0,...n we have φ(c k n ak b n k )= C k n φ(ak b n k ) φ(a) k φ(b) n k φ(a) n hence φ((a + b) n ) (n+1)φ(a) n and therefore φ(a+b) n n +1φ(a) for all n N. Finally we obtain φ(a + b) φ(a). k=0
4 4 Ultrametric fields The most classical example of an ultrametric complete algebraically closed field is the field C p that will be described later. Notations: Consider the field E provided with an ultrametric absolute value. Let a E and let r R +.Wedenotebyd(a, r) the disk {x E x a r}, by d(a, r ) the disk {x E x a <r} and we call circle of center a, of radius r the set C(a, r) =d(a, r) \ d(a, r ). Given r 1 and r 2 such that 0 <r 1 <r 2 we denote by Γ(a, r 1,r 2 ) the annulus {x E r 1 < x a <r 2 } and by (a, r 1,r 2 ) the annulus {x E r 1 x a r 2 }. We know that if b d(a, r) thend(b, r) = d(a, r). Inthesamewayif b d(a, r )thend(b, r )=d(a, r ). Moreover given two disks T and T such that T T then either T T or T T. We denote by δ the distance defined on E by δ(a, b) = a b. Givena E and a subset D of E, wesetδ(a, D) = inf{ x a x D} and given two subsets D, F of E, wesetδ(d, F) = inf{ x y x D, y F }. We set diam(d) =sup{ x y x D, y D} and diam(d) isnamedthe diameter of D. Similarly, we set codiam(d) = sup{ x y x D, y / D} and codiam(d) is named the codiameter. Of course the following three statements are seen to be equivalent : i) d(a, r) =d(a, r ) ii) C(a, r) = iii) r/ E Further, the disks d(b, r ) included in C(a, r) (resp.ind(a, r)) are the disks d(b, r ) such that b C(a, r) (resp. ind(a, r)). They are called the classes of C(a, r) (resp.ofd(a, r)). Henceforth D will denote a subset of the field L. The closure of D (also called adherence of D) is denoted by D and the interior of D (also called opening of D) is denoted by D. Given a point a L we put δ(a, D) = inf{ x a x D}. Then δ(a, D) is named the distance of a to D. Given two subsets D, E of L we put δ(d, E) = inf{ x y x D, u E}. Then δ(d, E) is called the distance between D and E. We will denote by L an extension of L provided with an absolute value that extends that of L. Givena L, r > 0, d(a, r) (resp. d(a, r )) will denote the disk {x L x a r} (resp. {x L x a <r} ). Let D be a subset of L, of diameter R R (resp. + ), whose holes form a family ( d(a i,r i )). Let a D. We will denote by D the set d(a, R) \ ( ( i N d(a i,r i )) ) (D \ D) (resp. L ( \ d(a i,r i )). ) i I i I
5 Ultrametric fields 5 Lemma 1.8: Let d(a, r), d(b, s) be disks such that d(a, r) d(b, s) with r s. Thend(a, r) d(b, s). Let us also notice the following basic lemma: Lemma 1.9: Suppose that the residue class field E of E is finite, of cardinal q. Then for every disk d(a, r) with a E and r E, admits only q classes. Lemma 1.10: D \ D admits a unique partition of the form (Ti ) i I, whereas each T i is a disk of the form d(a i,r i ) with r i = δ(a i,d). Proof. For every a D\D, letr(a) =δ(a, D). Let α and β be two points in D\D such that β α <r(α). It is easily seen that for every x D, wehave x β = x α, and then the family of the disks T (α) =d(α, r(α) )(α D \ D) makes a partition of D \ D because given α and β D \ D, either α β < r(α) and then T (α) =T (β), or α β r(α) andthen α β r(β) hence T (α) T (β) =. Definition and notation: Such disks d(a i,r i ) are called the holes of D. If D is bounded of diameter R we denote by D the disk d(a, R) for any a D. If D is not bounded we put D = L. Example 1: The holes of a disk d(a, r ), with r L, are the classes of C(a, r). Example 2: The only one hole of L \ d(0, 1 )isd(0, 1 ). Example 3: The holes of L \ d(0, 1) are the disks d(a, 1 ) with a d(0, 1). Definitions: A set D is said to be infraconnected [51], [63], if for every a D, the mapping I a from D to R + defined by I a (x) = x a has an image whose closure in R + is an interval. In other words, a set D is not infraconnected if and only if there exist a and b D and an annulus Γ(a, r 1,r 2 )with0<r 1 <r 2 < a b such that Γ(a, r 1,r 2 ) D =. Lemma 1.11 is obvious: Lemma 1.11: If D is infraconnected of diameter R R (resp. + ) then I a (D) =[0,R] (resp. I a (D) =[0, + [ ). The following Lemma 1.12 gives a point of view from a hole of D. Lemma 1.12: Let D be an infraconnected set and let α belong to a hole T of diameter ρ. Theclosureoftheset{ x α x D} is an interval whose lower bound is ρ. Proof. We just have to show that for every r and r such that ρ<r<r < diam(d), there exists β D such that r< β α <r. By definition of the holes there exists b D such that α b <rand then, since D is infraconnected, there exists β D such that r< b β <r. But it is seen that β α = b β.
6 6 Ultrametric fields Given two infraconnected sets A and B we may prove A B to be infraconnected in the following two hypothesis (Th and 1.15). Theorem 1.13: Let A and B be two infraconnected sets such that A B. Then A B is infraconnected. Proof. If A and B are not bounded, the statement is obvious because for every a A, I a (A) = R + and for every a B we have I a (B) = R +. Now we may assume A to be bounded, of diameter R, while B has diameter R R (resp. is not bounded). Then A B has diameter R (resp. is not bounded). Let c A B, leta A B and let us show that I a (A B) =[0,R ](resp. [0, + [). For conveniencewe first assume B to be bounded. Since c A B we see that x a max( x c, c a ) R whenever x A B hence I a (A B) [0,R ]. Hence we just have to show that I a (A B) [0,R ]. Obviously I a (A B) = I a (A) I a (B) =[0,R] I a (B). Hence we have to show that I a (B) [R, R ]. But when x B with x a >R,weseethat x a = x c (because c a R) hence I a (B) ]R, R ]=I c (B) ]R, R ] and finally I a (B) [R, R ] because I c (B) [R, R ]. When B is not bounded, in the same way it is seen that I a (A B) =[0, + [. This finishes showing that A B is infraconnected. Corollary 1.14: LetDbeasubsetofL.TherelationR defined by xry if there exists an infraconnected subset of D that contains x and y, is an equivalence relation. Proof. R is obviously reflexive and symmetric It is transitive by Theorem Definition: The equivalence classes with respect to this relation are called the infraconnected componants. Examples : 1) d(0, 1 ) d(1, 1 ) is infraconnected. Its holes are the disks d(α, 1 ) with α = α 1 =1. 2) Let r ]0, 1[ and let D = d(0, 1 ) d(1,r). ThenD is not infraconnected, its infraconnected components are d(0, 1 )andd(1,r). The holes of D are the disks d(α, 1 ) with α = α 1 = 1 and the disks d(α, α 1 ) with r< α 1 < 1. Theorem 1.15: Let A and B be infraconnected sets such that à = B. Then A B is infraconnected. Proof. Obviously à B = Ã. IfA is bounded let à = d(α, R) and otherwise let à = L. First let us assume A to be bounded. For a A, theset{ x a x A} is dense in [0,R] hence so is the set { x a x A B}. InthesamewayB
7 Ultrametric fields 7 plays the same role hence this still holds for a B. Finally if A is not bounded we just replace [0,R]by[0, + [. That finishes proving Theorem Definition: An infraconnected subset D of L is said to be affinoid if it is of q the form d(a, R) \ d(b k,r k ) with R and r k L k. A subset D of L is said k=1 to be affinoid if it is a finite union of infraconnected affinoid subsets. Proposition 1.16: Let D 1, D 2 be two infraconnected affinoid subsets of L such that D 1 D 2 and set D = D 1 D 2 and E = D 1 D 2. Then both D and E are infraconnected affinoid. Moreover, D is either D1 or D 2 and each hole of D is either a hole of D 1 or a hole of D 2. Proof. By Theorem 1.13 D is infraconnected. Consider now D 1,oftheform d(a, r) \ ( m i=1 d(a i,r i )) and D 2 is of the form d(b, s) \ ( n i=1 d(b i,s i )). Suppose for instance r s and let c D 1 D 2. Then we can check that ( ( E = d(c, r) \ d i=1 (a i,r i )) ( n i=1d(b i,s i ))) which is an infraconnected affinoid again. Since D 1 D 2, wehave D 1 D 2, hence D is either D 1 or D 2, hence diam(d) L. Next, since the holes of both sets are in finite number, each hole of D is either a hole of D 1 or a hole of D 2, so each hole of D has a diameter in L and of course they are in finite number. Definition: We will call empty annulus of D an annulus Γ(a, r 1,r 2 ) such that i) r 1 = sup{ x a x D, x a r 2 } ii) r 2 = inf{ x a x D, x a r 1 } The set d(a, r 1 ) D will be denoted by I D (Γ(a, r 1,r 2 )) while the set (L \ d(a, r2 )) D will be denoted by E D(Γ(a, r 1,r 2 )). When there is no risk of confusion about the set D we will just write I(Γ(a, r 1,r 2 )), (resp. E(Γ(a, r 1,r 2 ))), instead of I D (Γ(a, r 1,r 2 )), (resp. E D (Γ(a, r 1,r 2 )) ). Remark 1: By definition, D is not infraconnected if and only if it admits an empty annulus. Remark 2: By definition {I(Γ(a, r 1,r 2 )), E(Γ(a, r 1,r 2 ))} is a partition of D. Examples: Let r ]0, 1[, let D = d(0,r) d(1, 1 ) and let D = d(0,r ) d(1,r). Then Γ(0,r,1) is an empty annulus of D and also of D. In the same way Γ(1,r,1) is also an empty annulus of D. Notations: Let X (D) be the set of the empty annuli of D. Given Λ 1 and Λ 2 X(D), it is easily seen that I(Λ 1 ) I(Λ 2 )isequivalenttoe(λ 1 ) E(Λ 2 ). We will denote by therelationdefinedonx (D) byλ 1 Λ 2 if I(Λ 1 ) I(Λ 2 ) and we set Λ 1 < Λ 2 if Λ 1 Λ 2 and Λ 1 Λ 2.
8 8 Ultrametric fields The following Lemmas 1.17 and 1.18 are easily seen. Lemma 1.17: The relation is a relation of order on X (D). LetΛ 1 and Λ 2 be two empty annuli of D. The following assertions are equivalent : i) Λ 1 and Λ 2 are not comparable with respect to the order ii) I(Λ 1 ) E(Λ 2 ) iii) I(Λ 2 ) E(Λ 1 ) iv) I(Λ 1 ) I(Λ 2 )=. Lemma 1.18: Let Λ X(D) and let x I(Λ) (resp. x E(Λ)). The infraconnected component of x is included in I(Λ) (resp. in E(Λ)). If Λ X(D) is such that Λ < Λ then I(Λ ) E(Λ). The following Lemma 1.19 is a direct consequence of Lemmas 1.17 and Lemma 1.19: Let Θ be an empty annulus of D. The family of the empty annuli Λ S is totally ordered. Proof. Let Λ 1 and Λ 2 X(D) satisfy Λ 1 Θ, Λ 2 Θ. Then I(Λ 1 ) I(Λ 2 ) I(Θ) hence I(Λ 1 ) is not included in E(Λ 2 ) hence Λ 1 and Λ 2 are comparable. Lemma 1.20: Let Θ be a minimal element of X (D) for the order. Then I(Θ) is an infraconnected component of D. Proof. Suppose that I(Θ) is not infraconnected. By definition I(Θ) is of the form d(a, R) D hence there exists an empty annulus Λ = Γ(α, r 1,r 2 )ofi(θ) with α d(a, R),r 1 <r 2 R and some β I(Θ) such that r 2 α β R. Since Λ d(a, R) weseethatλ D = hence Λ is an empty annulus of D and therefore Λ < Θ. This ends the proof of Lemma Theorem 1.21: D has finitely many infraconnected components if and only if it has finitely many empty annuli. Moreover if so does D then one of the infraconnected components is A 0 = E(Θ) while the others are of the form Θ X (D) A i = I(Λ i ) ( ) E(Θ), with Λ i X(D). Θ<Λ i Proof. We will first assume X (D) to be finite and we will prove that the infraconnected components are in the form A i, above, so that there will be finitely many ones. Let Λ 1,..., Λ n be these empty annuli of D and for every i =0,..., n,let A i be the subsets of D defined from Λ 1,..., Λ n as above. For every x D, for every i =1,..., n, either x I(Λ i )orx E(Λ i ) hence it is easily seen that x n belongs to one of the A i, hence D = A i. We check that A i A j = whenever i=0
9 Ultrametric fields 9 i j. First we assume i =0,j > 0. Hence A 0 E(Λ j ) while A j I(Λ j ) hence A 0 A j =. Now we suppose i>0,j > 0. If Λ i < Λ j then a j E(Λ i ) while A i I(Λ i )andthena i A j =. Hence we may assume that Λ 1 and Λ 2 are not comparable and then by Lemma 1.17 we have I(Λ i ) I(Λ j )= hence A i A j =. Consequently, the family (A i ) 0 i n makes a partition of D. Now we will show that each A i is infraconnected. Suppose that a certain A h is not infraconnected for some h>0(resp. h = 0). Then it admits an empty annulus Λ = Γ(a, r 1,r 2 ). Firstwenoticethatifh =0thenΛ h > Λ because both a, b are centers of Λ h. Now, if h =0(resp. h>0), let Θ X(D) (resp. let Θ X(D) be such that Θ < Λ h ). Since both a, b belong to E(Θ), it is seen that all Λ is included in E(Θ) and therefore is included in A h. This contradicts the hypothesis and finishes proving that A h is infraconnected. Next we check that each A j is maximal in the set of the infraconnected subsets of D. Indeed let B be a subset of D that strictly contains a certain A h and let a B \ A h. If h = 0, there exists Θ X(D) such that a I(Θ), but A h E(Θ) and therefore Θ is included in an empty annulus of B. If h>0, either a belongs to E(Λ h )whereasa h I(Λ h )andthenλ h is included in an empty annulus of B, or there exists Θ X(D) satisfying Θ < Λ h and a I(Θ), but then A h I(Θ) and therefore Θ is included in an empty annulus of B. Thus in each case B is not infraconnected and this finishes showing that each A i is maximal in the set of the infraconnected subsets of D. As a consequence, the infraconnected components of D are the A i. Now conversely, we assume D to have infinitely many empty annuli. First let us suppose that D has a sequence of empty annuli (Λ n ) n N such that Λ n < Λ n+1 (resp. Λ n > Λ n+1 ) for all n N. By Lemma 1.15, for every n N there exists x n E(Λ n ) I(Λ n+1 )(resp. x n I(Λ n ) E(Λ n+1 )) and then the infraconnected component X n of x n satisfies X n E(Λ n ) I(Λ n+1 )(resp. X n I(Λ n ) E(Λ n+1 )) hence X n X m = for all n m, hence D has infinitely many infraconnected components. Finally we may assume that every totally ordered set of empty annuli is finite. Hence there exists a sequence of empty annuli Λ n that are minimal elements for the order on X (D) and then I(Λ n ) I(Λ m ) = whenever n m. By Lemma 1.19, I(Λ n ) is an infraconnected component D n of D such that D n D m = whenever n m. This finishes proving that D has infinitely many infraconnected components and this ends the proof.
2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
More informationAdic Spaces. Torsten Wedhorn. June 19, 2012
Adic Spaces Torsten Wedhorn June 19, 2012 This script is highly preliminary and unfinished. It is online only to give the audience of our lecture easy access to it. Therefore usage is at your own risk.
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationValuations. 6.1 Definitions. Chapter 6
Chapter 6 Valuations In this chapter, we generalize the notion of absolute value. In particular, we will show how the p-adic absolute value defined in the previous chapter for Q can be extended to hold
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationEXTENSIONS OF ABSOLUTE VALUES
CHAPTER III EXTENSIONS OF ABSOLUTE VALUES 1. Norm and Trace Let k be a field and E a vector space of dimension N over k. We write End k (E) for the ring of k linear endomorphisms of E and Aut k (E) = End
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationWinter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada
Winter School on alois Theory Luxembourg, 15-24 February 2012 INTRODUCTION TO PROFINITE ROUPS Luis Ribes Carleton University, Ottawa, Canada LECTURE 2 2.1 ENERATORS OF A PROFINITE ROUP 2.2 FREE PRO-C ROUPS
More informationComplex Analysis Qualifying Exam Solutions
Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one
More informationConsequences of the Completeness Property
Consequences of the Completeness Property Philippe B. Laval KSU Today Philippe B. Laval (KSU) Consequences of the Completeness Property Today 1 / 10 Introduction In this section, we use the fact that R
More informationABSOLUTE VALUES AND VALUATIONS
ABSOLUTE VALUES AND VALUATIONS YIFAN WU, wuyifan@umich.edu Abstract. We introduce the basis notions, properties and results of absolute values, valuations, discrete valuation rings and higher unit groups.
More informationLocal Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments
Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
More informationOn the strong cell decomposition property for weakly o-minimal structures
On the strong cell decomposition property for weakly o-minimal structures Roman Wencel 1 Instytut Matematyczny Uniwersytetu Wroc lawskiego ABSTRACT We consider a class of weakly o-minimal structures admitting
More informationEconomics 204 Fall 2011 Problem Set 1 Suggested Solutions
Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationFree Subgroups of the Fundamental Group of the Hawaiian Earring
Journal of Algebra 219, 598 605 (1999) Article ID jabr.1999.7912, available online at http://www.idealibrary.com on Free Subgroups of the Fundamental Group of the Hawaiian Earring Katsuya Eda School of
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationSet theory and topology
arxiv:1306.6926v1 [math.ho] 28 Jun 2013 Set theory and topology An introduction to the foundations of analysis 1 Part II: Topology Fundamental Felix Nagel Abstract We provide a formal introduction into
More informationCLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES
Khayyam J. Math. 2 (2016), no. 1, 81 111 CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES FEDERICO BAMBOZZI 1 Communicated by A. Peralta Abstract. The aim of this paper is that of discussing closed graph
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationLecture 5 - Hausdorff and Gromov-Hausdorff Distance
Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More informationThe p-adic numbers. Given a prime p, we define a valuation on the rationals by
The p-adic numbers There are quite a few reasons to be interested in the p-adic numbers Q p. They are useful for solving diophantine equations, using tools like Hensel s lemma and the Hasse principle,
More informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationCOMPLETION AND DIFFERENTIABILITY IN WEAKLY O-MINIMAL STRUCTURES
COMPLETION AND DIFFERENTIABILITY IN WEAKLY O-MINIMAL STRUCTURES HIROSHI TANAKA AND TOMOHIRO KAWAKAMI Abstract. Let R = (R,
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationChapter 1. Sets and Numbers
Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationNATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More information5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1
Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationCHAPTER 2. Ordered vector spaces. 2.1 Ordered rings and fields
CHAPTER 2 Ordered vector spaces In this chapter we review some results on ordered algebraic structures, specifically, ordered vector spaces. We prove that in the case the field in question is the field
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationVALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS
VALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS JAN DOBROWOLSKI AND FRANZ-VIKTOR KUHLMANN Abstract. Using valuation rings and valued fields as examples, we discuss in which ways the notions of
More information1 The Local-to-Global Lemma
Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going
More informationMath 201 Topology I. Lecture notes of Prof. Hicham Gebran
Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and
More information15 Lecture 15: Points and lft maps
15 Lecture 15: Points and lft maps 15.1 A noetherian property Let A be an affinoid algebraic over a non-archimedean field k and X = Spa(A, A 0 ). For any x X, the stalk O X,x is the limit of the directed
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
More informationSome Properties of Convex Hulls of Integer Points Contained in General Convex Sets
Some Properties of Convex Hulls of Integer Points Contained in General Convex Sets Santanu S. Dey and Diego A. Morán R. H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More informationA SIMPLE PROOF OF THE MARKER-STEINHORN THEOREM FOR EXPANSIONS OF ORDERED ABELIAN GROUPS
A SIMPLE PROOF OF THE MARKER-STEINHORN THEOREM FOR EXPANSIONS OF ORDERED ABELIAN GROUPS ERIK WALSBERG Abstract. We give a short and self-contained proof of the Marker- Steinhorn Theorem for o-minimal expansions
More information2 Topology of a Metric Space
2 Topology of a Metric Space The real number system has two types of properties. The first type are algebraic properties, dealing with addition, multiplication and so on. The other type, called topological
More informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More informationA COMMON GENERALIZATION OF METRIC, ULTRAMETRIC AND TOPOLOGICAL FIXED POINT THEOREMS ALTERNATIVE VERSION
A COMMON GENERALIZATION OF METRIC, ULTRAMETRIC AND TOPOLOGICAL FIXED POINT THEOREMS ALTERNATIVE VERSION KATARZYNA KUHLMANN AND FRANZ-VIKTOR KUHLMANN Abstract. We present a general fixed point theorem which
More informationarxiv:math/ v1 [math.ho] 2 Feb 2005
arxiv:math/0502049v [math.ho] 2 Feb 2005 Looking through newly to the amazing irrationals Pratip Chakraborty University of Kaiserslautern Kaiserslautern, DE 67663 chakrabo@mathematik.uni-kl.de 4/2/2004.
More informationp-adic Analysis in Arithmetic Geometry
p-adic Analysis in Arithmetic Geometry Winter Semester 2015/2016 University of Bayreuth Michael Stoll Contents 1. Introduction 2 2. p-adic numbers 3 3. Newton Polygons 14 4. Multiplicative seminorms and
More informationIn Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation.
Chapter 3 Valuation Rings The results of this chapter come into play when analyzing the behavior of a rational function defined in the neighborhood of a point on an algebraic curve. 3.1 Extension Theorems
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationA NICE PROOF OF FARKAS LEMMA
A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if
More informationNotes on Ordered Sets
Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationFormal power series with cyclically ordered exponents
Formal power series with cyclically ordered exponents M. Giraudet, F.-V. Kuhlmann, G. Leloup January 26, 2003 Abstract. We define and study a notion of ring of formal power series with exponents in a cyclically
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More information3 COUNTABILITY AND CONNECTEDNESS AXIOMS
3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first
More informationGeometry and topology of continuous best and near best approximations
Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra
More informationDavid Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent
Chapter 5 ddddd dddddd dddddddd ddddddd dddddddd ddddddd Hilbert Space The Euclidean norm is special among all norms defined in R n for being induced by the Euclidean inner product (the dot product). A
More information7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
More informationExtreme points of compact convex sets
Extreme points of compact convex sets In this chapter, we are going to show that compact convex sets are determined by a proper subset, the set of its extreme points. Let us start with the main definition.
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationDefinition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :
MATH 337 Metric Spaces Dr. Neal, WKU Let X be a non-empty set. The elements of X shall be called points. We shall define the general means of determining the distance between two points. Throughout we
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationCHARACTERIZATION OF THE COLLAPSING MEROMORPHIC PRODUCTS
Publicacions Matemàtiques, Vol 40 (1996), 331 336. CHARACTERIZATION OF THE COLLAPSING MEROMORPHIC PRODUCTS Alain Escassut and Marie-Claude Sarmant Abstract Let K be an algebraically closedcomplete ultrametric
More informationE. The Hahn-Banach Theorem
E. The Hahn-Banach Theorem This Appendix contains several technical results, that are extremely useful in Functional Analysis. The following terminology is useful in formulating the statements. Definitions.
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationHyperbolic geometry of Riemann surfaces
3 Hyperbolic geometry of Riemann surfaces By Theorem 1.8.8, all hyperbolic Riemann surfaces inherit the geometry of the hyperbolic plane. How this geometry interacts with the topology of a Riemann surface
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More information17.1 Correctness of First-Order Tableaux
Applied Logic Lecture 17: Correctness and Completeness of First-Order Tableaux CS 4860 Spring 2009 Tuesday, March 24, 2009 Now that we have introduced a proof calculus for first-order logic we have to
More informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More informationWeak Topologies, Reflexivity, Adjoint operators
Chapter 2 Weak Topologies, Reflexivity, Adjoint operators 2.1 Topological vector spaces and locally convex spaces Definition 2.1.1. [Topological Vector Spaces and Locally convex Spaces] Let E be a vector
More informationBoundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption
Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption Chiaki Hara April 5, 2004 Abstract We give a theorem on the existence of an equilibrium price vector for an excess
More information