Connected components of sets of finite perimeter and applications to image processing

Luigi Ambrosio; Vicent Caselles; Simon Masnou; Jean-Michel Morel

Displaying similar documents to “Connected components of sets of finite perimeter and applications to image processing”

Domination numbers in graphs with removed edge or set of edges

Magdalena Lemańska (2005)

Discussiones Mathematicae Graph Theory

Similarity:

It is known that the removal of an edge from a graph G cannot decrease a domination number γ(G) and can increase it by at most one. Thus we can write that γ(G) ≤ γ(G-e) ≤ γ(G)+1 when an arbitrary edge e is removed. Here we present similar inequalities for the weakly connected domination number $γ_{w}$ and the connected domination number $γ_{c}$ , i.e., we show that $γ_{w} (G) \leq γ_{w} (G - e) \leq γ_{w} (G) + 1$ and $γ_{c} (G) \leq γ_{c} (G - e) \leq γ_{c} (G) + 2$ if G and G-e are connected. Additionally we show that $γ_{w} (G) \leq γ_{w} (G - E ₚ) \leq γ_{w} (G) + p - 1$ and $γ_{c} (G) \leq γ_{c} (G - E ₚ) \leq γ_{c} (G) + 2 p - 2$ if G and G - Eₚ are connected and Eₚ = E(Hₚ) where Hₚ of order...

On D-connected sets in the space $V^{q}$

S. Topa (1976)

Annales Polonici Mathematici

Similarity:

On the connectivity of finite subset spaces

Jacob Mostovoy, Rustam Sadykov (2012)

Fundamenta Mathematicae

Similarity:

We prove that the space $e x p_{k} ⋁ S^{m + 1}$ of nonempty subsets of cardinality at most k in a bouquet of m+1-dimensional spheres is (m+k-2)-connected. This, as shown by Tuffley, implies that the space $e x p_{k} X$ is (m+k-2)-connected for any m-connected cell complex X.

On compactness and connectedness of the paratingent

Wojciech Zygmunt (2016)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

In this note we shall prove that for a continuous function $ϕ : Δ \to ℝ^{n}$ , where $Δ \subset ℝ$ , the paratingent of $ϕ$ at $a \in Δ$ is a non-empty and compact set in $ℝ^{n}$ if and only if $ϕ$ satisfies Lipschitz condition in a neighbourhood of $a$ . Moreover, in this case the paratingent is a connected set.

A symmetry problem in the calculus of variations

Graziano Crasta (2006)

Journal of the European Mathematical Society

Similarity:

We consider the integral functional $J (u) = \int_{Ω} [f (| D u |) - u] d x$ , $u \in W_{0}^{1, 1} (Ω)$ , where $Ω \subset ℝ^{n}$ , $n \geq 2$ , is a nonempty bounded connected open subset of $ℝ^{n}$ with smooth boundary, and $ℝ ∋ s \mapsto f (| s |)$ is a convex, differentiable function. We prove that if $J$ admits a minimizer in $W_{0}^{1, 1} (Ω)$ depending only on the distance from the boundary of $Ω$ , then $Ω$ must be a ball.

On the condition of Λ-convexity in some problems of weak continuity and weak lower semicontinuity

Agnieszka Kałamajska (2001)

Colloquium Mathematicae

Similarity:

We study the functional $I_{f} (u) = \int_{Ω} f (u (x)) d x$ , where u=(u₁, ..., uₘ) and each $u_{j}$ is constant along some subspace $W_{j}$ of ℝⁿ. We show that if intersections of the $W_{j}$ ’s satisfy a certain condition then $I_{f}$ is weakly lower semicontinuous if and only if f is Λ-convex (see Definition 1.1 and Theorem 1.1). We also give a necessary and sufficient condition on ${W_{j}}_{j = 1, . . ., m}$ to have the equivalence: $I_{f}$ is weakly continuous if and only if f is Λ-affine.

Characterizing matrices with $𝐗$ -simple image eigenspace in max-min semiring

Ján Plavka, Sergeĭ Sergeev (2016)

Kybernetika

Similarity:

A matrix $A$ is said to have $𝐗$ -simple image eigenspace if any eigenvector $x$ belonging to the interval $𝐗 = {x : \underset{̲}{x} \leq x \leq \bar{x}}$ is the unique solution of the system $A \otimes y = x$ in $𝐗$ . The main result of this paper is a combinatorial characterization of such matrices in the linear algebra over max-min (fuzzy) semiring. The characterized property is related to and motivated by the general development of tropical linear algebra and interval analysis, as well as the notions of simple image set and weak robustness (or weak stability)...

Density of smooth maps for fractional Sobolev spaces $W^{s, p}$ into $ℓ$ simply connected manifolds when $s \geq 1$

Pierre Bousquet, Augusto C. Ponce, Jean Van Schaftingen (2013)

Confluentes Mathematici

Similarity:

Given a compact manifold $N^{n} \subset ℝ^{ν}$ and real numbers $s \geq 1$ and $1 \leq p < \infty$ , we prove that the class $C^{\infty} ({\bar{Q}}^{m}; N^{n})$ of smooth maps on the cube with values into $N^{n}$ is strongly dense in the fractional Sobolev space $W^{s, p} (Q^{m}; N^{n})$ when $N^{n}$ is $⌊ s p ⌋$ simply connected. For $s p$ integer, we prove weak sequential density of $C^{\infty} ({\bar{Q}}^{m}; N^{n})$ when $N^{n}$ is $s p - 1$ simply connected. The proofs are based on the existence of a retraction of $ℝ^{ν}$ onto $N^{n}$ except for a small subset of $N^{n}$ and on a pointwise estimate of fractional derivatives of composition of maps in $W^{s, p} \cap W^{1, s p}$ .

The subspace of weak $P$ -points of $ℕ^{*}$

Salvador García-Ferreira, Y. F. Ortiz-Castillo (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $W$ be the subspace of $ℕ^{*}$ consisting of all weak $P$ -points. It is not hard to see that $W$ is a pseudocompact space. In this paper we shall prove that this space has stronger pseudocompact properties. Indeed, it is shown that $W$ is a $p$ -pseudocompact space for all $p \in ℕ^{*}$ .

On Hattori spaces

A. Bouziad, E. Sukhacheva (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

For a subset $A$ of the real line $ℝ$ , Hattori space $H (A)$ is a topological space whose underlying point set is the reals $ℝ$ and whose topology is defined as follows: points from $A$ are given the usual Euclidean neighborhoods while remaining points are given the neighborhoods of the Sorgenfrey line. In this paper, among other things, we give conditions on $A$ which are sufficient and necessary for $H (A)$ to be respectively almost Čech-complete, Čech-complete, quasicomplete, Čech-analytic and weakly separated...

Multiple solutions to a perturbed Neumann problem

Giuseppe Cordaro (2007)

Studia Mathematica

Similarity:

We consider the perturbed Neumann problem ⎧ -Δu + α(x)u = α(x)f(u) + λg(x,u) a.e. in Ω, ⎨ ⎩ ∂u/∂ν = 0 on ∂Ω, where Ω is an open bounded set in $ℝ^{N}$ with boundary of class C², $α \in L^{\infty} (Ω)$ with $e s s i n f_{Ω} α > 0$ , f: ℝ → ℝ is a continuous function and g: Ω × ℝ → ℝ, besides being a Carathéodory function, is such that, for some p > N, $s u p_{| s | \leq t} | g (\cdot, s) | \in L^{p} (Ω)$ and $g (\cdot, t) \in L^{\infty} (Ω)$ for all t ∈ ℝ. In this setting, supposing only that the set of global minima of the function $1 / 2 ξ ² - \int_{0}^{ξ} f (t) d t$ has M ≥ 2 bounded connected components, we prove that, for all λ ∈ ℝ small enough,...

Filter factors of truncated TLS regularization with multiple observations

Iveta Hnětynková, Martin Plešinger, Jana Žáková (2017)

Applications of Mathematics

Similarity:

The total least squares (TLS) and truncated TLS (T-TLS) methods are widely known linear data fitting approaches, often used also in the context of very ill-conditioned, rank-deficient, or ill-posed problems. Regularization properties of T-TLS applied to linear approximation problems $A x \approx b$ were analyzed by Fierro, Golub, Hansen, and O’Leary (1997) through the so-called filter factors allowing to represent the solution in terms of a filtered pseudoinverse of $A$ applied to $b$ . This paper focuses...

On preimages of ultrafilters in ZF

Horst Herrlich, Paul Howard, Kyriakos Keremedis (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that given infinite sets $X, Y$ and a function $f : X \to Y$ which is onto and $n$ -to-one for some $n \in ℕ$ , the preimage of any ultrafilter $ℱ$ of $Y$ under $f$ extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model $ℳ$ with a set of atoms $A$ and a finite-to-one onto function $f : A \to ω$ such that for each free ultrafilter of $ω$ its preimage under $f$ does not extend to an ultrafilter. In addition, we show that in $ℳ$ there exists an ultrafilter compact...

$P_{λ}$ -sets and skeletal mappings

Aleksander Błaszczyk, Anna Brzeska (2013)

Colloquium Mathematicae

Similarity:

We prove that if the topology on the set Seq of all finite sequences of natural numbers is determined by $P_{λ}$ -filters and λ ≤ , then Seq is a $P_{λ}$ -set in its Čech-Stone compactification. This improves some results of Simon and of Juhász and Szymański. As a corollary we obtain a generalization of a result of Burke concerning skeletal maps and we partially answer a question of his.

A compactness result for polyharmonic maps in the critical dimension

Shenzhou Zheng (2016)

Czechoslovak Mathematical Journal

Similarity:

For $n = 2 m \geq 4$ , let $Ω \in ℝ^{n}$ be a bounded smooth domain and $𝒩 \subset ℝ^{L}$ a compact smooth Riemannian manifold without boundary. Suppose that ${u_{k}} \in W^{m, 2} (Ω, 𝒩)$ is a sequence of weak solutions in the critical dimension to the perturbed $m$ -polyharmonic maps $\frac{d}{d t} |_{t = 0} E_{m} (Π (u + t ξ)) = 0$ with $Φ_{k} \to 0$ in ${(W^{m, 2} (Ω, 𝒩))}^{*}$ and $u_{k} ⇀ u$ weakly in $W^{m, 2} (Ω, 𝒩)$ . Then $u$ is an $m$ -polyharmonic map. In particular, the space of $m$ -polyharmonic maps is sequentially compact for the weak- $W^{m, 2}$ topology.

On connectivity properties of hyperspaces of $R_{0}$ spaces

M. Mršević (1979)

Matematički Vesnik

Similarity:

Hyperspaces of Finite Sets in Universal Spaces for Absolute Borel Classes

Kotaro Mine, Katsuro Sakai, Masato Yaguchi (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

By Fin(X) (resp. $F i n^{k} (X)$ ), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and $ℓ ₂^{f} (τ)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E = ℓ ₂^{f} (τ)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes $_{α} (τ)$ and $_{α} (τ)$ of weight ≤ τ (α > 0) then Fin(E) and each $F i n^{k} (E)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...