Search results for "Homeomorphism"

showing 10 items of 51 documents

Dual attachment pairs in categorically-algebraic topology

2011

[EN] The paper is a continuation of our study on developing a new approach to (lattice-valued) topological structures, which relies on category theory and universal algebra, and which is called categorically-algebraic (catalg) topology. The new framework is used to build a topological setting, based in a catalg extension of the set-theoretic membership relation "e" called dual attachment, thereby dualizing the notion of attachment introduced by the authors earlier. Following the recent interest of the fuzzy community in topological systems of S. Vickers, we clarify completely relationships between these structures and (dual) attachment, showing that unlike the former, the latter have no inh…

(pre)image operatorWeak topologyTopological algebralcsh:Mathematicslcsh:QA299.6-433Quasi-framelcsh:AnalysisTopological spacelcsh:QA1-939Topological vector spaceHomeomorphismAlgebraDual attachment pair(LM)-fuzzy topologyTrivial topologyCategory of topological spacesVarietyGeometry and TopologyGeneral topology(lattice-valued) categorically-algebraic topologyTopological systemQuasi-coincidence relationSpatialization(localic) algebraMathematics
researchProduct

Existence de points fixes enlacés à une orbite périodique d'un homéomorphisme du plan

1992

Let f be an orientation-preserving homeomorphism of the plane such that f-Id is contracting. Under these hypotheses, we establish the existence, for every periodic orbit, of a fixed point which has nonzero linking number with this periodic orbit.

55M20 54H20Surfaces homeomorphismsPlane (geometry)Applied MathematicsGeneral Mathematics010102 general mathematics[ MATH.MATH-DS ] Mathematics [math]/Dynamical Systems [math.DS][MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]Linking numberFixed pointLinking numbers01 natural sciencesHomeomorphism010101 applied mathematicsCombinatoricssymbols.namesakesymbolsPeriodic orbitsPeriodic orbitsAstrophysics::Earth and Planetary AstrophysicsMathematics - Dynamical Systems0101 mathematicsMSC : 55M20 54H20Mathematics
researchProduct

Fuzzy algebras as a framework for fuzzy topology

2011

The paper introduces a variety-based version of the notion of the (L,M)-fuzzy topological space of Kubiak and Sostak and embeds the respective category into a suitable modification of the category of topological systems of Vickers. The new concepts provide a common framework for different approaches to fuzzy topology and topological systems existing in the literature, paving the way for studying the problem of interweaving algebra and topology in mathematics, which was raised by Denniston, Melton and Rodabaugh in their recent research on variable-basis topological systems over the category of locales.

AlgebraPure mathematicsTopological algebraArtificial IntelligenceLogicCategory of topological spacesExtension topologyInitial topologyGeneral topologyTopological spaceTopological vector spaceHomeomorphismMathematicsFuzzy Sets and Systems
researchProduct

On fuzzification of topological categories

2014

This paper shows that (L,M)-fuzzy topology of U. Hohle, T. Kubiak and A. Sostak is an instance of a general fuzzification procedure for topological categories, which amounts to the construction of a new topological category from a given one. This fuzzification procedure motivates a partial dualization of the machinery of tower extension of topological constructs of D. Zhang, thereby providing the procedure of tower extension of topological categories. With the help of this dualization, we arrive at the meta-mathematical result that the concept of (L,M)-fuzzy topology and the notion of approach space of R. Lowen are ''dual'' to each other.

Connected spaceTopological algebraArtificial IntelligenceLogicMathematics::Category TheoryCategory of topological spacesGeneral topologyTopological spaceTopologyTopological vector spaceHomeomorphismMathematicsTopological categoryFuzzy Sets and Systems
researchProduct

TOPOLOGICAL PARTIAL *-ALGEBRAS: BASIC PROPERTIES AND EXAMPLES

1999

Let [Formula: see text] be a partial *-algebra endowed with a topology τ that makes it into a locally convex topological vector space [Formula: see text]. Then [Formula: see text] is called a topological partial *-algebra if it satisfies a number of conditions, which all amount to require that the topology τ fits with the multiplier structure of [Formula: see text]. Besides the obvious cases of topological quasi *-algebras and CQ*-algebras, we examine several classes of potential topological partial *-algebras, either function spaces (lattices of Lp spaces on [0, 1] or on ℝ, amalgam spaces), or partial *-algebras of operators (operators on a partial inner product space, O*-algebras).

Connected spaceTopological algebraTopological tensor productFOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Topological spaceTopologyTopological vector spaceHomeomorphismSettore MAT/05 - Analisi MatematicaLocally convex topological vector spaceMathematical PhysicTopological ringSettore MAT/07 - Fisica MatematicaMathematical PhysicsMathematicsReviews in Mathematical Physics
researchProduct

Mappings of finite distortion: Formation of cusps II

2007

For s > 0 s>0 given, we consider a planar domain  Ω s \Omega _s with a rectifiable boundary but containing a cusp of degree  s s , and show that there is no homeomorphism f : R 2 → R 2 f\colon \mathbb {R}^2\to \mathbb {R}^2 of finite distortion with exp ⁡ ( λ K ) ∈ L l o c 1 ( R 2 ) \exp (\lambda K)\in L^1_{\mathrm {loc}}(\mathbb {R}^2) so that f ( B ) = Ω s f(B)=\Omega _s when λ > 4 / s \lambda >4/s and  B B is the unit disc. On the other hand, for λ > 2 / s \lambda >2/s such an  f f exists. The critical value for λ \lambda remains open.

Cusp (singularity)Distortion (mathematics)Mathematical analysisGeometry and TopologyHomeomorphismMathematicsConformal Geometry and Dynamics of the American Mathematical Society
researchProduct

A note to “Mappings of finite distortion: formation of cusps II”

2010

We consider planar homeomorphisms f : R 2 → R 2 f\colon \mathbb {R}^2\to \mathbb {R}^2 that are of finite distortion and map the unit disk onto a specific cusp domain  Ω s \Omega _s . We study the relation between the degree  s s of the cusp and the integrability of the distortion function  K f K_f by sharpening a previous result where  K f K_f is assumed to be locally exponentially integrable.

Cusp (singularity)Distortion (mathematics)Mathematical analysisGeometryGeometry and TopologyHomeomorphismMathematicsConformal Geometry and Dynamics of the American Mathematical Society
researchProduct

Limits of Sobolev homeomorphisms

2017

Let X; Y subset of R-2 be topologically equivalent bounded Lipschitz domains. We prove that weak and strong limits of homeomorphisms h: X (onto)-> Y in the Sobolev space W-1,W-p (X, R-2), p >= 2; are the same. As an application, we establish the existence of 2D-traction free minimal deformations for fairly general energy integrals. Peer reviewed

DIRICHLET ENERGYGeneral MathematicsDEFORMATIONSMONOTONE MAPPINGSLAPLACE EQUATION01 natural sciencesvariational integralsSobolev inequalityp-harmonic equationNONLINEAR ELASTICITYharmonic mappings111 MathematicsPOINTWISE HARDY INEQUALITIESREGULARITYSPACE0101 mathematicsMathematicsDISTORTIONSURFACESApplied Mathematics010102 general mathematicsMathematical analysisEnergy-minimal deformationsDirichlet's energy010101 applied mathematicsSobolev spaceapproximation of Sobolev homeomorphismsNonlinear elasticityJournal of the European Mathematical Society
researchProduct

A Graph Based Algorithm For Intersection Of Subdivision Surfaces

2003

Computing surface intersections is a fundamental problem in geometric modeling. Any boolean operation can be seen as an intersection calculation followed by a selection of the parts necessary for building the surface of the resulting object. A robust and efficient algorithm to compute intersection on subdivision surfaces (surfaces generated by the Loop scheme) is proposed here. This algorithm relies on the concept of a bipartite graph which allows the reduction of the number of faces intersection tests. Intersection computations are accelerated by the use of the bipartite graph and the neighborhood of intersecting faces at a given level of subdivision to deduce intersecting faces at the fol…

Discrete mathematicsFoster graph[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS][ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM][INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Intersection number (graph theory)Intersection graphlaw.inventionCombinatorics[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]IntersectionlawHomeomorphism (graph theory)Subdivision surfaceCircle graphAlgorithmComputingMilieux_MISCELLANEOUS[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]ComputingMethodologies_COMPUTERGRAPHICSMathematicsDistance-hereditary graph
researchProduct

Generalized quasidisks and conformality II

2015

We introduce a weaker variant of the concept of three point property, which is equivalent to a non-linear local connectivity condition introduced in [12], sufficient to guarantee the extendability of a conformal map f from the unit disk onto a domain to the entire plane as a homeomorphism of locally exponentially integrable distortion. Sufficient conditions for extendability to a homeomorphism of locally p-integrable distortion are also given.

Discrete mathematicsIntegrable systemPlane (geometry)Applied MathematicsGeneral Mathematics010102 general mathematicsA domainConformal map01 natural sciencesUnit diskHomeomorphism010101 applied mathematicsDistortion (mathematics)Point (geometry)0101 mathematicsMathematicsProceedings of the American Mathematical Society
researchProduct