相关论文: Surfaces Meeting Porous Sets in Positive Measure

We investigate differences between upper and lower porosity. In finite dimensional Banach spaces every upper porous set is directionally upper porous. We show the situation is very different for lower porous sets; there exists a lower…

A remarkable theorem of R. C. James is the following: suppose that $X$ is a Banach space and $C \subseteq X$ is a norm bounded, closed and convex set such that every linear functional $x^* \in X^*$ attains its supremum on $C$; then $C$ is a…

For any non-trivial convex and bounded subset $C$ of a Banach space, we show that outside of a $\sigma$-porous subset of the space of non-expansive mappings $C\to C$, all mappings have the maximal Lipschitz constant one witnessed locally at…

Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our…

We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…

Let X be a real uniformly convex and uniformly smooth Banach space and C a nonempty closed and convex subset of X. Let Pc from X to C denote the (standard) metric projection operator. In this paper, we define the Gateaux directional…

We show that if n>1 then there exists a Lebesgue null set in R^n containing a point of differentiability of each Lipschitz function mapping from R^n to R^(n-1); in combination with the work of others, this completes the investigation of…

We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…

Let $M$ be a subset of $\mathbb{R}^n$. If $M$ is not porous, in particular if it has positive $n$-dimensional Lebesgue measure, we prove that the Lipschitz spaces $\mathrm{Lip}_0(M)$ and $\mathrm{Lip}_0(\mathbb{R}^n)$ are linearly…

We use a method involving elementary submodels and a partial converse of Foran lemma to prove separable reduction theorems concerning Suslin sigma-P-porous sets where "P" can be from a rather wide class of porosity-like relations in…

We show that any Carnot group contains a closed nowhere dense set which has measure zero but is not $\sigma$-porous with respect to the Carnot-Carath\'eodory (CC) distance. In the first Heisenberg group we observe that there exist sets…

A well-known open question is whether every countable collection of Lipschitz functions on a Banach space X with separable dual has a common point of Frechet differentiability. We show that the answer is positive for some…

We consider the space of non-expansive mappings on a bounded, closed and convex subset of a Banach space equipped with the metric of uni- form convergence. We show that the set of strict contractions is a {\sigma}-porous subset.

We prove that for a given Banach space $X$, the subset of norm attaining Lipschitz functionals in $\mathrm{Lip}_0(X)$ is weakly dense but not strongly dense. Then we introduce a weaker concept of directional norm attainment and demonstrate…

We construct surface measures associated to Gaussian measures in separable Banach spaces, and we prove several properties including an integration by parts formula.

A topological space $X$ is called a topological fractal if $X=\bigcup_{f\in\mathcal F}f(X)$ for a finite system $\mathcal F$ of continuous self-maps of $X$, which is topologically contracting in the sense that for every open cover $\mathcal…

The paper elucidates the relationship between the density of a Banach space and possible sizes of well-separated subsets of its unit sphere. For example, it is proved that for a large enough space $X$, the unit sphere $S_X$ always contains…

Let $f$ be a Lipschitz map from a subset $A$ of a stratified group to a Banach homogeneous group. We show that directional derivatives of $f$ act as homogeneous homomorphisms at density points of $A$ outside a $\sigma$-porous set. At…

We use porosity to study differentiability of Lipschitz maps on Carnot groups. Our first result states that directional derivatives of a Lipschitz function act linearly outside a $\sigma$-porous set. The second result states that irregular…

We give a constructive proof that any $\sigma$-porous subset of a Hilbert space has Lebesgue measure zero on typical $C^{1}$ curves. Further, we discover that this result does not extend to all forms of porosity; we find that even power-$p$…