|
Formal Ball
In topology, a formal ball is an extension of the notion of ball to allow unbounded and negative radius. The concept of formal ball was introduced by Weihrauch and Schreiber in 1981 and the negative radius case (the generalized formal ball) by Tsuiki and Hattori in 2008. Specifically, if (X,d) is a metric space and \mathbb^ the nonnegative real numbers, then an element of B^+(X,d)=X\times\mathbb^ is a formal ball. Elements of B(X,d)=X\times\mathbb{R} are known as generalized formal balls. Formal balls possess a partial order \leq defined by (x,r)\leq(y,s) if d(x,y)\leq r-s, identical to that defined by set inclusion. Generalized formal balls are interesting because this partial order works just as well for B(X,d) as for B^+(X,d), even though a generalized formal ball with negative radius does not correspond to a subset of X. Formal balls possess the Lawson topology In mathematics and theoretical computer science the Lawson topology, named after Jimmie D. Lawson, is a topology ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Twist (mathematics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity (mathematics), continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopy, homotopies. A property that is invariant under such deformations is a topological property. Basic exampl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ball (mathematics)
In mathematics, a ball is the solid figure bounded by a ''sphere''; it is also called a solid sphere. It may be a closed ball (including the boundary points that constitute the sphere) or an open ball (excluding them). These concepts are defined not only in three-dimensional Euclidean space but also for lower and higher dimensions, and for metric spaces in general. A ''ball'' in dimensions is called a hyperball or -ball and is bounded by a ''hypersphere'' or ()-sphere. Thus, for example, a ball in the Euclidean plane is the same thing as a disk, the area bounded by a circle. In Euclidean 3-space, a ball is taken to be the volume bounded by a 2-dimensional sphere. In a one-dimensional space, a ball is a line segment. In other contexts, such as in Euclidean geometry and informal use, ''sphere'' is sometimes used to mean ''ball''. In the field of topology the closed n-dimensional ball is often denoted as B^n or D^n while the open n-dimensional ball is \operatorname B^n or \ope ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different branches of mathematics. Many types of mathematical objects have a natural notion of distance and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lawson Topology
In mathematics and theoretical computer science the Lawson topology, named after Jimmie D. Lawson, is a topology on partially ordered sets used in the study of domain theory. The lower topology on a poset ''P'' is generated by the subbasis consisting of all complements of principal filters on ''P''. The Lawson topology on ''P'' is the smallest common refinement of the lower topology and the Scott topology on ''P''. Properties * If ''P'' is a complete upper semilattice, the Lawson topology on ''P'' is always a complete T1 topology. See also *Formal ball References * G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, ... (2003), ''Continuous Lattices and Domains'', Encyclopedia of Mathematics and its Applic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Martin Topology
Martin may refer to: Places * Martin City (other) * Martin County (other) * Martin Township (other) Antarctica * Martin Peninsula, Marie Byrd Land * Port Martin, Adelie Land * Point Martin, South Orkney Islands Australia * Martin, Western Australia * Martin Place, Sydney Caribbean * Martin, Saint-Jean-du-Sud, Haiti, a village in the Sud Department of Haiti Europe * Martin, Croatia, a village in Slavonia, Croatia * Martin, Slovakia, a city * Martín del Río, Aragón, Spain * Martin (Val Poschiavo), Switzerland England * Martin, Hampshire * Martin, Kent * Martin, East Lindsey, Lincolnshire, hamlet and former parish in East Lindsey district * Martin, North Kesteven, village and parish in Lincolnshire in North Kesteven district * Martin Hussingtree, Worcestershire * Martin Mere, a lake in Lancashire ** WWT Martin Mere, a wetland nature reserve that includes the lake and surrounding areas * Martin Mill, Kent North America Canada * Rural Muni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
