Elements of Abstract AnalysisIn nature's infinite book ofsecrecy A little I can read. Antony and Cleopatra, l. ii. This is a book about a few elementary concepts of analysis and the mathe matical structures which enfold them. It is more concerned with the interplay amongst these concepts than with their many applications. The book is self-contained; in the first chapter, after acknowledging the fundamental role ofmathematical logic, wepresent seven axioms of Set Theory; everything else is developed from these axioms. It would therefore be true, if misleading, to say that the reader requires no prior knowledge of mathematics. In reality, the reader we have in mind has that level of sophistication achieved in about three years of undergraduate study of mathematics and is already well acquainted with most of the structures discussed-rings, linear spaces, metric spaces, and soon-and with many ofthe principal analytical concepts convergence, connectedness, continuity,compactness and completeness. Indeed, it is only after gaining familiarity with these concepts and their applications that it is possible to appreciate their place within a broad framework of set based mathematics and to consolidate an understanding of them in such a framework. To aid in these pursuits, wepresent our reader with things familiar and things new side by side in most parts of the book-and we sometimes adopt an unusual perspective. That this is not an analysis textbook is clear from its many omissions. |
Din interiorul cărții
Pagina 14
Definition 1.2.11 A set f is called a FUNCTION if and only if f is a relation and, for each a € dom(f), there exists a unique set y such that (x, y) € f. The unique y for which (x, y) e f is called the IMAGE of a under for the VALUE of ...
Definition 1.2.11 A set f is called a FUNCTION if and only if f is a relation and, for each a € dom(f), there exists a unique set y such that (x, y) € f. The unique y for which (x, y) e f is called the IMAGE of a under for the VALUE of ...
Pagina 15
Sometimes a function f is expressed by notation like a H. f(x), particularly where f(x) is determined by some formula ... Suppose f: X → Y. If A C X, then the set {f(a) a € A} is often denoted by f(A) and is called the IMAGE of A under ...
Sometimes a function f is expressed by notation like a H. f(x), particularly where f(x) is determined by some formula ... Suppose f: X → Y. If A C X, then the set {f(a) a € A} is often denoted by f(A) and is called the IMAGE of A under ...
Pagina 16
Example 1.2.15 Suppose that X is a set and that F is a collection of functions with domain X. For each a € X, the set {(f, f(x)) | f e P} is a function. We shall generally denote this function by ä, its domain F being understood from ...
Example 1.2.15 Suppose that X is a set and that F is a collection of functions with domain X. For each a € X, the set {(f, f(x)) | f e P} is a function. We shall generally denote this function by ä, its domain F being understood from ...
Pagina 17
Definition 1.2.19 Suppose A and B are sets. We say that A is in ONE-TO-ONE CORRESPONDENCE with B or that A is EQUINUMEROUS with B, and write A 2 B, if and only if there ... For the third, suppose f: A – B and g: B – C are bijective.
Definition 1.2.19 Suppose A and B are sets. We say that A is in ONE-TO-ONE CORRESPONDENCE with B or that A is EQUINUMEROUS with B, and write A 2 B, if and only if there ... For the third, suppose f: A – B and g: B – C are bijective.
Pagina 19
If any one of the co-ordinate sets defined above is empty then so, clearly, is the product. ... EXERCISES Q 1.2.1 Suppose X and Y are sets and f: X → Y. Suppose V C P(Y) and show that f_*(UV) = U f*(v) and that f*([] v) = 0 f"(V).
If any one of the co-ordinate sets defined above is empty then so, clearly, is the product. ... EXERCISES Q 1.2.1 Suppose X and Y are sets and f: X → Y. Suppose V C P(Y) and show that f_*(UV) = U f*(v) and that f*([] v) = 0 f"(V).
Ce spun oamenii - Scrie o recenzie
Nu am găsit nicio recenzie în locurile obișnuite.
Cuprins
Counting | 41 |
Algebraic Structure | 57 |
Analytic Structure | 91 |
Linear Structure | 115 |
Geometric Structure | 133 |
Topological Structure | 159 |
Continuity and Openness | 177 |
Connectedness | 207 |
Convergence | 215 |
Compactness | 231 |
Completeness | 245 |
Solutions | 269 |
Bibliography | 285 |
Alte ediții - Afișează-le pe toate
Termeni și expresii frecvente
acc(A algebra arbitrary Axiom of Choice Banach bijective bounded called cardinal closed subset commutative compact space converges convex counting number defined Definition denoted dense disjoint dom(r domain endowed ensures equivalent Example EXERCISES Q exists f is continuous field F filter finite subset follows Hausdorff space Hilbert space homomorphism includes induction initial topology injective injective function intersection inverse isometric Lemma linear subspace linearly independent maximal subspace metric space nbd(x non-empty set non-empty subset non-trivial normed linear space notation oo U oo open ball open neighbourhood open subset order isomorphism ordered set ordinal Proof Let Proof Suppose ps(X quotient real numbers Recursive relative topology second countable semimetric space seminormed seminormed linear space Show spaces and f subbase Suppose f surjective topological space topology determined totally ordered ultrafilter union unique unit ball vector space whence