Spanier, E. H. Algebraic Topology. McGraw-Hill Book Company, 1966.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....A and B, respectively. An analogous approach would be to extend the Hausdorff metric with criteria to include topology, using the common definition for topological 5 equivalence based upon homeomorphisms. For two objects to be homeomorphic, it is necessary that their first three Betti numbers [10, 20] be the same, and there is an elegant, efficient technique [15] to compute these numbers from the stored solid topology information. This computation is done in base 2, allowing for very efficient bit manipulations. For application, define n i (A; B) to be the absolute value of the difference ....

....another. Each Betti number fi i measures a critical integer valued topological characteristic, as follows: fi 0 is the number of components, fi 1 is the number of holes, and fi 2 is the number of bounded regions. For further explanation of Betti numbers, the reader is referred to the references [10, 20]. 6 3 Equivalence by Approximation Algorithms When the previous pseudo metric is non zero, it is clear that the created approximation is not topologically equivalent to the original model. Shifting the focus to the actual process of approximation, it is relevant to ask whether it is possible to ....

Spanier, E. H., Algebraic Topology, McGraw-Hill Book Company, New York, 1966.

.... g is positive. It remain to prove Lemma 9.4 The regularized manifold M for 2k 1 centers in S is rationally hyperbolic for k 2. Proof. Since H i (M;Z) 0 for i 5, if M is rationally elliptic, then [8] 2i 1) dim( 2i 1 Q) 5: 9.9) By Lemma 7. 2 and the Hurewitz theorem [23], dim( 3 Q) 2k 2: Hence 3 dim( 3 Q) 6k 6 5 for k 2, and so M is rationally hyperbolic by (9.9) Theorem 2.1 is completely proved. Now we prove Theorem 2.2 for odd n. For even n it is proved in [6] Lemma 9.5 For almost all pairs of points q; p 2 QnP , N (q; p) nN (x; ....

Spanier E., Algebraic Topology, McGraw-Hill Book Company (1966)

....Proposition 5.2 The functor from Ho(sS T ) to the category of sets given by X 7 HomE T (E X; is representable; that is, there is an object B 2 sS T and a natural isomorphism [X; B ] HomE T (E X; The proof is an exercise in Brown representability. The proof in Spanier [41] x7.7 goes through mutatis mutandis. See also Heller [21] We can now calculate that B is a candidate for Y (0) i (B ; A) A Delta i = Delta i ; B ] sS = T (A Delta i = Delta i ) B ] sS T = HomE T (E (T (A Delta i = Delta i ) HomE T (E (T ) E ....

E.H. Spanier, Algebraic Topology, McGraw-Hill Book Company, New York, 1966.

....and (i #;p P ) Gamma1 ( P ( where P : Gamma (P 1 ; P 2 ) Gamma (P 1 [ f(P 2 ) P 2 [ f(P 2 ) is defined by P ( x 0 ; x p ) ae (x 0 ; x p ) if x 0 ; x p 2 P 1 0 otherwise. Proof: The proposition follows easily from the proof of Lemma 4 in [90], Sect. 6.4. QED The cochain map f # ffi (i # ) Gamma1 is called the cochain index map and is denoted by f # P . Obviously f P = f # P ) Let J 0 : Gamma12; Gamma6] J 1 : 6; 12] J : Gamma12; 12] For i = 0; 1 define the maps i : J i 3 s 6s ( Gamma1) i 54 2 R ....

E.H. Spanier, Algebraic Topology, McGraw-Hill Book Company, New York, 1966.

....brant and let f 2 Hom 0E T ( 0 E X; be represented by f : X B . Then there is an object q : E (M; n) B in sS T =B and a natural isomorphism [X; E (M;n) sS T =B = D n (E X;M) The argument in both cases is essentially Spanier s proof of Brown Representability [21]. We would also appeal to Heller [15] or Baues [2] The rst observation is that the functors of Proposition 7.1 satisfy a variant of Brown s axioms for a homotopy functor. Lemma 7.2 Let fX g 2A be a set of objects in sS T . Then Hom 0E T ( 0 E ( a X ) Y Hom 0E T ( 0 ....

....H n ( M) is a homotopy functor. A Brown Representability Theorem would assert that any homotopy functor is representable. This is proved below see Proposition 7.9. Then Proposition 7.1 is proved by appealing to the previous example. The argument for Brown Representability goes as in Spanier [[21], x7.7] If H : Ho(sS T ) op Sets is any homotopy functor de ne a pair (Y; u) u 2 H(Y ) to be n universal for H if Y is brant and for all k, and the natural map u : T ( k DE q = q ) Y ] sS T H(T( k DE q = q ) given by (f) H(f) u) is an ....

[Article contains additional citation context not shown here]

E.H. Spanier, Algebraic Topology, McGraw-Hill Book Company, New York, 1966.

.... for the usual topology, so that it will be enough to show that both topologies coincide on X(V ) this is not true in general for X(V ) For this it is enough to show that the covering of X(V ) by its closed subsets oe(A) X(V ) A perfect, is locally finite in the usual topology (see [Sp] Introduction 2.4, and Chapter 6, 6.3) Given any form A 2 C n , let A be its restriction to the real span V R of V . The map A 7 A induces an isomorphism between X(V ) and the symmetric space of Aut (V R ) Given g 2 GLn (Z) the set X(V ) Delta g X(V ) is not empty ....

Spanier, E.: Algebraic Topology, McGraw-Hill Book Company, New York, 1966.

....interest in its theoretical foundations. 4. Algebraic Topology and Validity of Solids The final example is a novel application of algebraic topology to CAGD [11] Here, the mathematical exposition is particularly terse, but the necessary background is readily available in the standard texts [6, 21]. Specifically, the Betti numbers are well known to be topological invariants. In order to adapt the Betti numbers to a useful application within CAGD, the mod p Betti numbers, b 0 (p) b 1 (p) and b 2 (p) where p is understood to be prime) are utilized. D. A. Lear s fundamental proposition ....

Spanier, E. H., Algebraic Topology, McGraw-Hill Book Company, New York, 1966.

....rational function. The decomposition of the infinite place P 1 of k(x) in K is P 1 = P 1 Delta P 2 , where P 1 and P 2 are the infinite places of K=k. Because there are exactly two extensions of the infinite place from k(x) to K we can conclude from the Dirichlet unit theorem (see for example [Wei63]) that E = k Theta hffli; where ffl 2 K is a fundamental unit. If we denote by v P 1 and v P 2 the two normalized extensions of the negative degree valuation v P 1 from k(x) to K, we call the positive Continued Fraction Expansions in Function Fields 3 integer R = fi fi fi v P 1 ....

E. Weiss. Algebraic Number Theory. McGraw-Hill Book Company, New York, 1963.

....and Topology The definition of basic geometric objects (the elementary vocabulary of a visual notation) usually relies on topology which is itself a basis for defining relationships between objects. In the following we assume the usual concepts of point set topology with open and closed sets [7]. The interior of a set #n (denoted by # o n ) is the union of all open sets in #n . The closure of #n (denoted by #n ) is the intersection of all closed sets in #n . The complement of #n (denoted by # 1 n ) with respect to the embedding space # n is the set of all points of # n not ....

E. Spanier, Algebraic Topology, McGraw-Hill Book Company, New York, N.Y., 1966.

.... The most popular data structures are ordered binary decision diagrams (OBDDs) that were introduced by Bryant [Bry86] and in the meantime are used for the solution of numerous tasks in design automation [Bry92] In recent years synthesis based on AND EXOR realizations gains more and more interst [Ber68, Sau92, BDT93] since AND EXOR based graphs often allow more succinct representation for classes of Boolean functions than OBDDs [BDW93] Thus, in many applications Reed Muller expansions (RMEs) are used. In this paper we focus on a special class of restricted RMEs, called ordered functional ....

E. R. Berlekamp. Algebraic Coding Theory. McGraw-Hill Book Company, 1968.

....in connection with the description logic ALCRP(D) 3.1.1 The Concrete Domain S 2 Before the concrete domain S 2 can be formally defined, some notions from point set topology and qualitative spatial reasoning need to be introduced. First, we define the basic notion topology (see, e.g. [39]) Definition 23 Let U be a set. A topology on U is a family T of subsets of U , with 1. if O 1 , O 2 # T , then O 1 # O 2 # T , 2. if O i # T for i # I , then S O i # T , 3. #, U # T . The pair #U , T # is called a topological space. The elements of T are called open ....

E. Spanier. Algebraic Topology. McGraw-Hill Book Company, New York, 1966.

....a space box reasoner. 2.1 Objects and their Spatial Relationships The definition of basic geometric objects usually relies on topology which is itself a basis for defining relationships between objects. In the following we assume the usual concepts of point set topology with open and closed sets [20]. The interior of a set # i (denoted by # o i ) is the union of all open sets in # i . The closure of # i (denoted by # i ) is the intersection of all closed sets containing # i . The complement of # i (denoted spatially related connected g overlapping touching s overlapping g inside s inside ....

E. Spanier. Algebraic Topology. McGraw-Hill Book Company, New York, N.Y., 1966.

....functor X 7 a Hom Alg ( 0X; H n (X; M) 3.2) is also a homotopy functor. Notice that there is an augmentation from the functor of Equation (3.2) to that of Equation (3.1) This would imply the existence of a morphism on representing objects, if such objects exist. Standard arguments (see [14, 22]) imply that homotopy functors are representable by brant and co brant objects, and we obtain the following result. 3.6. Proposition. 1) For each algebra , there is a simplicial pointed space B , such that for each X 2 sTop there is a natural isomorphism [X; B ] sTop = Hom Alg ( 0 ....

E.H. Spanier, Algebraic Topology, McGraw-Hill Book Company, New York, 1966.

No context found.

Spanier, E. H. Algebraic Topology. McGraw-Hill Book Company, 1966.

No context found.

Edwin H. Spanier. Algebraic Topology. McGraw-Hill Book Company, 1966.

No context found.

E. H. Spanier, Algebraic topology, McGraw Hill Book Company, 1966.

No context found.

E.Spanier, Algebraic Topology, McGraw Hill Book Company, New York 1966.

No context found.

E.Spanier, Algebraic Topology, McGraw Hill Book Company, New York 1966.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC