This preview shows pages 1–4. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Chapter 3 METRIC SPACES and SOME BASIC TOPOLOGY Thus far, our focus has been on studying, reviewing, and/or developing an under standing and ability to make use of properties of U U 1 . The next goal is to generalize our work to U n and, eventually, to study functions on U n . 3.1 Euclidean nspace The set U n is an extension of the concept of the Cartesian product of two sets that was studied in MAT108. For completeness, we include the following De ¿ nition 3.1.1 Let S and T be sets. The Cartesian product of S and T , denoted by S T , is p q : p + S F q + T . The Cartesian product of any ¿ nite number of sets S 1 S 2 S N , denoted by S 1 S 2 S N , is j p 1 p 2 p N : 1 j b j + M F 1 n j n N " p j + S j ck . The object p 1 p 2 p N is called an Ntuple . Our primary interest is going to be the case where each set is the set of real numbers. 73 74 CHAPTER 3. METRIC SPACES AND SOME BASIC TOPOLOGY De ¿ nition 3.1.2 Real nspace , denoted U n , is the set all ordered ntuples of real numbers i.e., U n x 1 x 2 x n : x 1 x 2 x n + U . Thus, U n U U U _ ^] ‘ n of them , the Cartesian product of U with itself n times. Remark 3.1.3 From MAT108, recall the de ¿ nition of an ordered pair : a b de f a a b . This de ¿ nition leads to the more familiar statement that a b c d if and only if a b and c d. It also follows from the de ¿ nition that, for sets A, B and C, A B C is, in general, not equal to A B C i.e., the Cartesian product is not associative. Hence, some conventions are introduced in order to give meaning to the extension of the binary operation to more that two sets. If we de ¿ ne ordered triples in terms of ordered pairs by setting a b c a b c this would allow us to claim that a b c x y z if and only if a x, b y, and c z. With this in mind, we interpret the Cartesian product of sets that are themselves Cartesian products as “big” Cartesian products with each entry in the tuple inheriting restrictions from the original sets. The point is to have helpful descriptions of objects that are described in terms of ntuple. Addition and scalar multiplication on ntuple is de ¿ ned by x 1 x 2 x n y 1 y 2 y n x 1 y 1 x 2 y 2 x n y n and : x 1 x 2 x n : x 1 : x 2 : x n , for : + U , respectively. The geometric meaning of addition and scalar multiplication over U 2 and U 3 as well as other properties of these vector spaces was the subject of extensive study in vector calculus courses (MAT21D on this campus). For each n , n o 2, it can be shown that U n is a real vector space. De ¿ nition 3.1.4 A real vector space Y is a set of elements called vectors , with given operations of vector addition : Y Y Y and scalar multiplication : U Y Y that satisfy each of the following: 3.1. EUCLIDEAN NSPACE 75 1. 1 v 1 w v w + Y " v w w v commutativity 2. 1 u 1 v 1 w u v w + Y " u v w u v w associativity 3. 2 + Y F 1 v v + Y " v v v zero vector 4. 1 v v + Y " 2 v v + Y F v v v v negatives 5. 1 D 1 v 1 w D + U F v w + Y " D v w D v D w distribu tivity 6. 1 D 1 <...
View
Full
Document
This note was uploaded on 09/24/2008 for the course MAT 215 taught by Professor Pandhirapande during the Fall '08 term at Princeton.
 Fall '08
 PANDHIRAPANDE
 Topology

Click to edit the document details