Search results for "Countable set"

showing 6 items of 56 documents

Smooth surjections and surjective restrictions

2017

Given a surjective mapping $f : E \to F$ between Banach spaces, we investigate the existence of a subspace $G$ of $E$, with the same density character as $F$, such that the restriction of $f$ to $G$ remains surjective. We obtain a positive answer whenever $f$ is continuous and uniformly open. In the smooth case, we deduce a positive answer when $f$ is a $C^1$-smooth surjection whose set of critical values is countable. Finally we show that, when $f$ takes values in the Euclidean space $\mathbb R^n$, in order to obtain this result it is not sufficient to assume that the set of critical values of $f$ has zero-measure.

TopologíaPure mathematicsmetric spaces46B80 46T20General Mathematicssmooth surjective mappingBanach spacesurjective restrictionnonlinear quotient01 natural sciencesfunctional analysisSurjective functionuniformly open mapMathematics - Metric GeometryFOS: MathematicsMathematics (all)Order (group theory)Countable set0101 mathematicsAnálisis funcional y teoría de operadoresDensity character; Nonlinear quotient; Smooth surjective mapping; Surjective restriction; Uniformly open map; Mathematics (all)MathematicsEuclidean spaceta111010102 general mathematicsMetric Geometry (math.MG)16. Peace & justicemetriset avaruudetFunctional Analysis (math.FA)Mathematics - Functional Analysis010101 applied mathematicsCharacter (mathematics)density characterfunktionaalianalyysiBijection injection and surjectionSubspace topology
researchProduct

Highly transitive actions of free products

2013

We characterize free products admitting a faithful and highly transitive action. In particular, we show that the group $\PSL_2(\Z)\simeq (\Z/2\Z)*(\Z/3\Z)$ admits a faithful and highly transitive action on a countable set.

Transitive actionHighly transitive actionsMSC: Primary: 20B22 20E06Group Theory (math.GR)01 natural sciencesBaire category Theorem[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]CombinatoricsFree products0103 physical sciencesFOS: MathematicsCountable set0101 mathematics20B22MathematicsTransitive relation20E06Group (mathematics)Mathematics::Operator Algebras010102 general mathematics20E06 20B2216. Peace & justiceFree productBaire category theorem010307 mathematical physicsGeometry and TopologyMathematics - Group Theory
researchProduct

Polyhedrality and decomposition

2018

Abstract The aim of this note is to present two results that make the task of finding equivalent polyhedral norms on certain Banach spaces, having either a Schauder basis or an uncountable unconditional basis, easier and more transparent. The hypotheses of both results are based on decomposing the unit sphere of a Banach space into countably many pieces, such that each one satisfies certain properties. Some examples of spaces having equivalent polyhedral norms are given.

Unit spherePure mathematicsMathematics::Functional AnalysisBasis (linear algebra)General Mathematics010102 general mathematicsBanach space01 natural sciencesSchauder basisTask (project management)Functional Analysis (math.FA)Mathematics - Functional Analysis0103 physical sciencesDecomposition (computer science)FOS: Mathematics46B03 46B20 46B26Uncountable set010307 mathematical physics0101 mathematicsMathematics
researchProduct

Highly transitive actions of groups acting on trees

2015

We show that a group acting on a non-trivial tree with finite edge stabilizers and icc vertex stabilizers admits a faithful and highly transitive action on an infinite countable set. This result is actually true for infinite vertex stabilizers and some more general, finite of infinite, edge stabilizers that we call highly core-free. We study the notion of highly core-free subgroups and give some examples. In the case of amalgamated free products over highly core-free subgroups and HNN extensions with highly core-free base groups we obtain a genericity result for faithful and highly transitive actions. In particular, we recover the result of D. Kitroser stating that the fundamental group of …

Vertex (graph theory)20B22 20E06 20E08Transitive relationApplied MathematicsGeneral Mathematics010102 general mathematicsamenable actionsHighly transitive actionsTransitive actionGroup Theory (math.GR)0102 computer and information sciences01 natural sciencesgroups acting on trees[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]CombinatoricsMathematics::Group TheoryFree product010201 computation theory & mathematicsFOS: MathematicsMSC: Primary 20B22; Secondary 20E06 20E08 43A07Countable setHNN extension0101 mathematicsMathematics - Group TheoryMathematicsProceedings of the American Mathematical Society
researchProduct

Modal Consequence Relations Extending S4.3: An Application of Projective Unification

2016

We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…

projective unificationPure mathematicsUnificationLogicFinite model property02 engineering and technology68T15Lattice (discrete subgroup)01 natural sciencesadmissible rulesComputer Science::Logic in Computer Science0202 electrical engineering electronic engineering information engineeringCountable setFinitaryHeyting algebra08C150101 mathematics03B45MathematicsDiscrete mathematics010102 general mathematicsquasivarietiesModal logicstructural completenessconsequence relations03B35Distributive property06E25$\mathbf{S4.3}$S4.3020201 artificial intelligence & image processingNotre Dame Journal of Formal Logic
researchProduct

On continua whose hyperspace of subcontinua is σ-locally connected

1999

Abstract We provide a structural characterization of all continua X whose hyperspace C ( X ) of all subcontinua is the countable union of Peano continua. Applying this result we prove that there exists a uniformly path connected continuum X with no continuous mapping from C ( X ) onto X.

σ-local connectednessConnected spacePure mathematicsContinuum (topology)Mathematical analysisCharacterization (mathematics)Hyperspace of subcontinuaσ-relative local connectednessHyperspaceLocal connectednessPeano axiomsContinuumCountable setGeometry and TopologyLocal connectednessRelative local connectednessMathematicsTopology and its Applications
researchProduct