Tagged Questions

Metric spaces are sets on which you can measure the "distance" between any two points. The distance measurement is generally required to be symmetric (so distance from $A$ to $B$ is the same as distance from $B$ to $A$), positive for two distinct points, and obeying the triangle inequality.

learn more… | top users | synonyms (1)

1
vote
0answers
16 views

Adjoint of completely continuous operator is completely continuous

In the proof of the fact that the adjoint operator $A^\ast$ of a completely continuous linear operator $A:E\to E$ mapping a Banach space into itself is also completely continuous on $E^\ast$ endowed ...
1
vote
1answer
26 views

How to prove a map between two spaces of real sequences $f : l^1 \to l^2 $ is well-defined and continuous

the question is whether the following statement is ture or false, and justify it. Here is the statement The map $f : l^1\to l^2$ given by $f(x_0, x_1, x_2,...)= (x_0, x_1, x_2,...) $ is ...
0
votes
0answers
7 views

Conditions for positive definiteness for a class of matrices induced by a semimetric

Let $X$ be a set, and let $d:X\times X\rightarrow \mathbb{R}$ be a semimetric on that set (i.e. $\forall x,y\in X$, $d(x,y)=d(y,x)\ge 0$, and $d(x,y)=0$ iff $x=y$). I seek conditions on $X$ and $d$ ...
0
votes
1answer
15 views

not metrizable?

In Munkres, section 30, exercise 6 is this: Show that $R_{l}$ and $I^2_0$ are not metrizable. I guess $R_{l}$ is lower limit topology, and $I^2_0$ is an ordered square. and here, how to prove they ...
0
votes
1answer
16 views

How to find the interior of this set?

let $S=\{A\in M_n(\mathbb R):tr(A)=0\}$ The question is to check whether $S$ is Nowhere dense .I think the set is closed and hence the problem reduces to findind int(S).How to do that?
0
votes
1answer
27 views

$\{(x,y)\in \mathbb R^2:xy=1\}$

To check which pairs are Homeomorphic? A.$\{(x,y)\in \mathbb R^2:xy=0\}$ B.$\{(x,y)\in \mathbb R^2:xy=1\}$ C.$\{(x,y)\in \mathbb R^2:xy=0,x+y\geq0\}$ D.$\{(x,y)\in \mathbb R^2:xy=1,x+y\geq 0\}$ I ...
0
votes
1answer
20 views

How to check the compactness of these sets:

How to check the compactness of these sets: a.the unit sphere in $l_2$ the space of all square summable real sequences with its usual metric i.e.$d({x_i,y_i}) =(\sum_1^\infty|x_i-y_i|^2)^{1/2}$ ...
3
votes
1answer
37 views

Erwine Kryszeg's _Introductory Functional Analysis With Applications_: Section 2.3, Prob. 14

Here's problem 14 in the Problem Set immediately following Section 2.3 in the book, Introductory Functional Analysis With Applications by Erwine Kryszeg. Let $Y$ be a closed subspace of a normed ...
1
vote
2answers
25 views

Is the sequnce of functions $f_n$ convergent?

let $f_n$ be a sequence of functions in $C[0,1]$ and they are differentiable continuously in $(0,1)$. Also $|f_n(x)|\leq 1$ and $|f_n{'}(x)|\leq 1$ forall $x\in [0,1]$ and for each $n$. Since $[0,1]$ ...
0
votes
0answers
24 views

Metrizable topological space

Why Extended real numbers set with T ( T topology on R with infinity) , is metrizable ? And how can prove that d(x,y) genetares this topology (T) ??
1
vote
0answers
11 views

Does this strengthening of continuity have a characterization in terms of familiar concepts?

Definition 0. Whenever $X$ is a metric space, $A \subseteq X$ is a subset, and $r \in \mathbb{R}_{>0}$ is a positive real number, define that $$A \oplus r = \bigcup_{a \in A} B_r(a).$$ Definition ...
2
votes
1answer
78 views

Are all the finite dimensional vector spaces with a metric isometric to $\mathbb R^n$

Are all the finite dimensional vector spaces with a metric isometric to $\mathbb R^n$? My goal is to claim that in any finite dimensional vector space, equipped with a metric, a closed-bounded subset ...
-1
votes
2answers
17 views

Sequences in Metric Spaces [on hold]

Find a metric space $(X,d)$ and a sequence $(x_n)$ in X that has no convergent subsequences but for which the infimum of the set $\{d(x_m,x_m)\mid m$ and $n$ are distinct natural numbers$\}$ is zero. ...
0
votes
1answer
13 views

Multiple choice question on continuous function on a unit ball

Pick out true: Let $B$ be the closed unit ball and $D$ be the open unit ball. a.Given a continuous function $g:B\rightarrow \mathbb R$ there always exists a continuous function $f:\mathbb ...
0
votes
2answers
38 views

Canonical compactification of a metric space

There are many constructions to produce a compact metric space from an arbitrary metric space (sometimes extra conditions are imposed). But is it possible to compactify a metric space M into M* such ...
1
vote
2answers
30 views

Continuity of vector space operations in a normed space

Here's problem 4 immediately following section 2.3 in Erwine Kryszeg's book, Introductory Functional Analysis With Applications: Show that in a normed space $X$, vector addition and scalar ...
1
vote
0answers
27 views

Prove this map is continuous

$(rcos(t),rsin(t))↦((1/r).cos(t),(1/r).sin(t)), 0≤t≤2pi $ first for $0<r<1$, then for $r>1$ My idea is to say $(rcos(t),rsin(t)) = r .(cos(t),sin(t))$ then the cos and sin map with an ...
0
votes
2answers
24 views

Prove $d(x,y)=\sup _{n} \left| \sum _{k=1}^{n}(x_k-y_k)\right |$ is a metric

Let $\gamma$ be the set of convergent series.$$\gamma = \{x=(x_k), x_k \in \mathbb{R} : \sum x_k <\infty\}$$ Prove that $(\gamma , d)$ is a metric space, with $$d(x,y)=\sup _{n} \left| \sum ...
0
votes
2answers
24 views

Check if the parabola (with an induced topology) $\{(x,y)\in\mathbb{R}^2 | y=x^2\}$ is connected or compact.

i think yes connected but not compact, as it cannot be represented as a disjoint union and there is no finite sub cover. I'm just not sure how to go about proving this i.e. what to actually write ...
0
votes
2answers
36 views

Is the map, $ f:(0,1)⊂ \mathbb{R}$ → $(1,∞)⊂ \mathbb{R}$ : $x ↦ 1/x $continuous?

I feel it is, but cannot prove why. Also is it bijective, and is its inverse continuous?
0
votes
1answer
24 views

Making an interval with point deleted complete

I am playing around with metric and topological spaces to get a better grasp of them, and I am wondering the following: is it possible to have a metric such that the set $[-1,0)\cup (0,1]$ is complete ...
-1
votes
1answer
56 views

Show these sets are homeomorphic to eachother

1) {${(x, y) ∈ R^2 |0 < x^2 + y^2 < 1}$} 2) {${(x, y) ∈ R^2 | x^2 + y^2 > 1}$} I've considered mapping r to 1/r, from (0,1) to (1,∞)
2
votes
1answer
41 views

Theorem 2.3-2 in _Introductory Functional Analysis With Applications_ by Erwine Kryszeg

Here's the statement of Theorem 2.3-2 in the book mentioned above: Let $(X,||\cdot||)$ be a normed space. Then there is a Banach space $\hat{X}$ and an isometry $A \colon X \to W$, where $W = A(X)$, ...
1
vote
3answers
35 views

For $A,B,C\subset X$where $X$ is a metric space under some $d$, check if the triangle inequality holds for $d_m(A,B)=\min_{x\in A,y\in B}\{d(x,y)\} $

$$d_m(A,B)=\min_{x\in A,y\in B}\{d(x,y)\} $$ Is it the case that $$d_m(A,C)\leq d_m(A,B)+d_m(B,C)$$ based on the definition of $d_m$ and the fact that $d$ is already some arbitrary metric on $X$? I ...
0
votes
0answers
50 views

Proving symmetry of metric (single linkage between clusters using arbitrary dissimilarity measure)

I am told to assume that our dissimilarity measure $d$ satisfies the properties required of it, what seems to be the definition of a metric: $d(x,y) \geq0 $ and $d(x,y)=0 \Longleftrightarrow x=y$ ...
2
votes
1answer
31 views

If $(a_n)$ is Cauchy it has a subsequence $(a_{n_i})$ such that $d(a_{n_{i+1}},a_{n_i})<2^{-i}$ for all $i$.

Let $(X,d)$ be a metric space and $(a_n)$ a Cauchy sequence in $X$. How to show that there exists $n_1<n_2<\cdots$ such that $$d(a_{n_{i+1}},a_{n_i})<2^{-i},$$ for all $i\in\mathbb{N}$? I ...
1
vote
1answer
23 views

Show that an irregular 1-set in the plane is totally disconnected

A $1$-set is a Borel set such that $0 < \mathcal{H}^1(A) < \infty$, where $\mathcal{H}^s$ is the Hausdorff measure. Let $A$ be an irregular $1$-set in the plane. Deduce from the theorem below ...
1
vote
0answers
35 views

check proof that $B[a,b]$ is not seperable

This is what I have to prove: prove that metric space $B[a,b]$, $a<b$ is not separable. Where $B[a,b]$ is the set of all bounded and defined functions on $[a,b]$, with the metric ...
1
vote
0answers
50 views

Calculating Euclidean dissimilarity for a given cluster with itself

Suppose I have clusters $$A= \{(1,1)^T, (1,2)^T\} $$ $$B=\{(2,3)^T, (3,4)^T\} $$ $$C= \{(4,5)^T, (5,6)^T, (1,2)^T\} $$ I wish to use the Euclidean dissimilarity and Average linkage to calculate a ...
0
votes
1answer
19 views

Properties of metric $d$ in a connected space $X$

If $X$ is a connected metric space, and $p$ is a cut point, such that $X-\{p\} = B \cup E$, and $B,E$ are open disjoint subsets of $X$, can I say that the metric $d$ on $X$ has to make it true that ...
0
votes
1answer
40 views

if $X$ has a finite number of isolated points, is $X$ compact?

If every real valued continuous function on $X$ is uniformly continuous is $X$ is compact? Moreover if $X$ has a finite number of isolated points, is $X$ compact now? I think that the answer to the ...
2
votes
1answer
37 views

$X $ is complete if every real valued continuous function on $X $ is uniformly continuous

If every real valued continuous function on $X $ is uniformly continuous,then is $X$ complete? My attempt:let $x_n$ be a Cauchy Sequence in $X$. Let $f$ be a real valued continuous function. To show ...
0
votes
0answers
20 views

Condition for uniform convergence of Fourier series

Let $f$ be a Lebesgue summable periodic function on $[-T/2,T/2]$. I read in Kolmogorov-Fomin's (p.414 here) that if $f$ is bounded on a set $E\subset[-T/2,T/2]$ and for any $\varepsilon>0$ there is ...
2
votes
1answer
31 views

Completing the solution, lipschitz maps inducing other maps

Let $(X, d)$ be a metric space, $(E, || \cdot ||)$ a Banach space, $(AE(X), || \cdot ||)$ - as described below. I've already proven that for any Lipschitz function $u: X \rightarrow E $ there exists ...
3
votes
1answer
35 views

Continuous and preserves measurability $\implies$ preserves null sets.

Let $X$ be a (Lebesgue-)measurable set of $\mathbb{R}^n$ and $f:X \to \mathbb{R}^n$ continuous function that preserves measurability ($A$ meausurable $\implies f(A)$ measurable). Prove: for all $A ...
1
vote
1answer
22 views

Ceiling of a metric is a metric

Suppose $d$ is a metric on the set $X$. For $x$, $y \in X$ define the function $c$ by $c(x,y) = \lceil d(x,y) \rceil$. Show that $c$ is a metric on $X$. (The reason I put the question here is because ...
0
votes
2answers
25 views

Unions of closed sets [Topology, S.Willard, exercise 3F]

Can anybody gives me a hint to show that for a family $C_\lambda,\lambda\in\Lambda$ of closed sets in some metric space $X$ such that $d(C_{\lambda_1},C_{\lambda_2})\geq\epsilon$ for all ...
2
votes
1answer
44 views

The norm of operator $\mathscr{L}$ on the finite-dimensional vector space $V$ equals the norm of operator restricted by some Invariant subspace.

The norm of linear transformation $\mathscr{L}$ on the finite-dimensional vector space $V$ over $\mathbb{R}$ with standard inner product equals the norm of linear transformation $\mathscr{L}$ ...
0
votes
0answers
18 views

Metric and confusion

I define a metric tensor $g_{\mu\nu} = e^{2\Omega(x)}\delta_{\mu\nu}$ Then, I do the following passages that seem to lead to inconsistence and confusion: ...
2
votes
2answers
19 views

Compactness of two equivalent metric spaces

Let $X$ be a non-empty set. Suppose that $d_1$ and $d_2$ are two possibly different metrics on $X$. Let $\tau_i$ denote the topology generated by the metric $d_i$ ($i\in\{1,2\}$). The following are ...
4
votes
0answers
39 views

Empty metric space, complete?

I have two questions. Can the empty set be formed into a metric space? If it exists, is it complete? I have thought that the empty set is a complete metric space, since we can let ...
1
vote
5answers
84 views

If $f$ is uniformly continuous on $(a, b)$, then $f$ is bounded on $(a, b)$.

So I know that since f is uniformly continuous on (a, b), then for every $\epsilon > 0$, there exists $\delta > 0$ such that for all x and y in (a, b), if |x - y| < delta, then |f(x) - f(y)| ...
-3
votes
1answer
40 views

Intersection of metric spaces [closed]

Do you think that the intersection of two metric spaces (X, $\mathcal T$) and (X, $\mathcal T'$) is a metrizable space, or at least is a Hausdorff space ? If this is not the case, would you have any ...
0
votes
2answers
24 views

Continuity in Metric Spaces between two spaces under a function f

Let (X,d) and (Y,e) be metric spaces , and let f:X→Y be a function. Explain but do not prove if the statement is correct. If there exists r>0 so that $e((f(x1),f(x2))$$≤$ $r(d(x1,x2))$for every ...
1
vote
1answer
27 views

Projection map is open

Let $X=X_1$ x $X_2$ where $(X_1,d_1)$ and $(X_2,d_2)$ are metric spaces. Equip $X$ with a product metric $d$. Define a map $\Pi_1:X \to X_1$ by $\Pi_1(x_1,x_2) = x_1$. Let $U \subset X$ be open and ...
0
votes
1answer
20 views

Continuously differentiable functions dense in $L^2[a,b]$

I read in Kolmgorov-Fomin's Элементы теории функций и функционального анализа (p. 408 here) that the set of continuously differentiable functions are dense everywhere in space $L^1[a,b]$ of Lebesgue ...
0
votes
2answers
16 views

Subsets of uniformly discrete sets are closed

Let $(X,d)$ be a metric space. Suppose that $A$ is a countably infinite subset with the property that there exists some $\varepsilon>0$ such that if $a,b\in A$ and $a\neq b$, then ...
7
votes
4answers
191 views

Does a continuous point-wise limit imply uniform convergence?

Question Given a sequence of continuous functions $(f_n)_{n \in \mathbb N}$ and define $$ f : X \rightarrow Y, \quad f(x) = \lim_{n \rightarrow \infty} f_n(x) $$ where $X$ and $Y$ are metric spaces. ...
1
vote
2answers
43 views

Covering of Complete Metric Spaces

Baire's Theorem says that if $X$ is a complete metric space and $$X=\bigcup_{k=1}^{\infty}A_k,$$ then there exists an $n$ s.t. $\stackrel{\circ}{\overline{A_n}}\neq\emptyset$. However, is it possible ...