On dual surfaces in Galilean 3-space

1.   Introduction

A metric space $M = (X, d)$ is formed by a set $X$ of points and a distance $d$ defined in $X$. In particular, the vertex set of any connected graph, equipped with the shortest path distance, is a metric space. This suggests approaching problems related to metric parameters in graphs as more general problems in the context of metric spaces. In some cases, a problem has been formulated within the theory of metric spaces and has become popular and extensively studied in graph theory. This is the case of the metric dimension: a theory suggested by Blumenthal ^[3] in 1953 in the general context of metric spaces that became popular more than twenty years later, after being introduced by Slater ^[15,16] in 1975 and by Harary and Melter ^[8] in 1976, in the particular context of graph theory. Some graph operations have been extensively studied and then generalized to the case of metric spaces. For instance, the notion of the join of two graphs was extended to metric spaces by Beardon and Rodríguez-Velázquez ^[2], while the notion of the lexicographic product of two graphs was extended to metric spaces by Rodríguez-Velázquez ^[12]. In other cases, like the Cartesian product of graphs, and the Cartesian product of metric spaces, the theory has been widely studied in both contexts.

In this paper, we consider the study of corona metric spaces as a natural generalization of the theory of corona product graphs. In particular, we define the concept of a corona metric space in such a way that the set of vertices of any corona product graph, equipped with the shortest path distance, is a corona metric space. We study some basic properties of corona metric spaces, such as completeness, boundedness, compactness and separability. Furthermore, we provide necessary and sufficient conditions for the existence of universal lines in these metric spaces, and we obtain a formula for the metric dimension.

The remainder of the article is structured as follows. In Section 2 we define the concept of a corona metric space, and we also justify the terminology used. In Section 3 we briefly describe the notion of a gravitational metric space, since the properties of these spaces are closely linked to the properties of corona metric spaces. Section 4 is devoted to the study of basic properties of these metric spaces. In Section 5 we study the metric dimension, while in Section 6 we discuss the existence of universal lines.

We assume that the reader is familiar with the basic concepts and terminology of metric spaces. If this is not the case, we suggest the textbooks ^[10,11].

2.   Corona metric spaces: Definition

In this section we will establish the notation and terminology related to corona metric spaces. Given a metric space $M = (X, d)$ and a point $x\in X$, we define the nearness of $x$ to be

We define the nearness of the metric space to be

Notice that the vertex set $V(G)$ of any connected graph $G$, equipped with the shortest path distance, is a metric space with nearness equal to one.

Next, we introduce the concept of a corona metric space.

Definition 2.1. Let $M = (X, d_X)$ be a metric space with $0 < \eta(M) < +\infty$ and $\mathcal{M}$ be a family of pairwise disjoint metric spaces such that there exists a bijection $f: X \longrightarrow \mathcal{M}$. Let $f(x) = M_x = (X_x, d_{X_x})$ for every $x\in X$, and

Let $d_U: U\times U\longrightarrow \mathbb{R}$ be the map defined by

The map $d_U$ is called a corona distance, and the metric space $M\odot_f \mathcal{M} = (U, d_U)$ is called a corona metric space.

One can easily check that $d_U$ is a distance function. For this, by the definition of $d_U$, it is only necessary to check the triangular inequality $d_U(x, z)\le d_U(x, y)+d_U(y, z)$ by differentiating cases according to the positions of $x, y$ and $z$ in the set $U$. We omit the details.

Notice that the requirement $\eta(M) < +\infty$ is needed, as $\inf \varnothing = +\infty$. Hence, if $|X| = 1$, then $\eta(M) = +\infty$. Therefore, the requirement $\eta(M) < +\infty$ is equivalent to $|X|\ge 2$. Moreover, when defining $d_U$, we really could have used another positive constant instead of $\eta(x)$. The convenience of using $\eta(x)$ lies in keeping the points of $M_x$ at the same distance from $x$ as the closest point to $x$ in $X$, by analogy with what happens in graph theory for the case of corona graphs.

The name corona metric space is inherited from graph theory. Let us briefly describe this idea. Let $G$ be a connected graph, $\mathcal{H}$ be a family of pairwise disjoint graphs with $|\mathcal{H}| = |V(G)|$ and $g: V(G) \longrightarrow \mathcal{H}$ be a bijection. Let $g(x) = H_x$ for every $x\in V(G)$. We define the generalized corona graph $G\odot_g \mathcal{H}$ as the graph obtained from $G$, $\mathcal{H}$ and $g$, by taking one copy of $G$ and one copy of each graph in $\mathcal{H}$, and making $x$ adjacent to every vertex of $g(x) = H_x$ for every $x\in V(G)$. Notice that $G\odot_g \mathcal{H}$ is connected if and only if $G$ is connected. Now, if there exists a graph $H$ such that $g(x) = H_x$ is isomorphic to $H$ for every $x\in V(G)$, then $G\odot_g \mathcal{H}\cong G\odot H$ is a standard corona graph, as defined in 1970 by Frucht and Harary ^[7].

It is not difficult to check that if $G$ is a connected graph, and $|V(G)|\ge 2$, then the metric space induced by any generalized corona graph $G\odot_g \mathcal{H}$ is a corona metric space $M\odot_f \mathcal{M}$, thus justifying the terminology used. To see this, we only need to take $M = (X, d_X) = (V(G), d_G)$ and $f(x) = M_x = (X_x, d_{X_x})\in \mathcal{M}$ for every $x\in V(G)$, where $X_x = V(H_x)$ and $d_{X_x}(y, y') = \min\{2, d_{H_x}(y, y')\}$ for every $y, y'\in V(H_x)$. As we can expect, if there exists $x\in V(G)$ such that the graph $g(x) = H_x$ is not connected, then we assume that $d_{H_x}(y, y') = +\infty$ for every pair of vertices $y$ and $y'$ belonging to different components of $H_x$, and so $d_{X_x}(y, y') = \min\{2, d_{H_x}(y, y')\} = \min\{2, +\infty\} = 2$.

3.   Gravitational metric spaces

In this section we will establish the notation and terminology related to gravitational metric spaces. By the definition of a corona metric space, for any $x\in X$, the metric subspace $M^*_x = (X_x, d^*_x)$ of $M\odot_f \mathcal{M}$, induced by the set $X_x$, is equipped with the distance function

These metric spaces play an important role in the study of join metric spaces ^[2] and in the study of lexicographic metric spaces ^[12]. In fact, as described in ^[12], the metric space $M^*_x$ is isometric to a metric space obtained from $M_x$, which can be seen as a deformation of $M_x$ where every point $a\in X_x$ attracts (and is attracted by) every point that is outside the closed ball of center $a$ and radius $2\eta(x)$. All these points remain at distance $2\eta(x)$ from $a$ in the deformed space. In particular, if the diameter of $M_x$ is at most $2\eta(x)$, then $M^*_x$ is isometric to $M_x$. The metric space $M^*_x$ locally, near every point, looks like patches of the space $M_x$, but the global topology can be quite different.

In order to preserve the terminology used in ^[12], we will refer to $M^*_x = (X_x, d^*_x)$ as the gravitational metric space associated to $M = (X_x, d_{X_x})$ with gravitation constant $2\eta(x)$. In fact, it is possible to develop the theory of corona metric spaces with an arbitrary gravitational constant. Obviously, the gravitational constant is always a positive number.

Furthermore, apart from the theory of corona metric spaces and apart from theory of lexicographic metric spaces developed in ^[12], the theory of gravitational metric spaces has its own identity, as for any real number $t > 0$ and any metric space $M = (X, d_X)$, we can define the gravitational metric space $M^* = (X, d^*)$ associated to it, where the distance function $d^*$ is defined using both, the distance function $d_X$ and the gravitational constant $t$:

4.   Basic properties

The discrete metric $d_0$ on a non-empty set $X$ is given by $d_0(x, y) = 0$ if $x = y$, and $d(x, y) = 1$ otherwise. In fact, $M = (X, d_0)$ is isometric to the metric space induced by a complete graph with vertex set $X$.

There are metric spaces with metrics that may differ from the discrete metric but generate the same topology. These metric spaces are known as discrete metric spaces ^[11]. In order to avoid misunderstandings regarding this concept, we will highlight this fact in the following definition.

Definition 4.1. ^[11] A metric space $M$ is called a discrete metric space if and only if all its subsets are open (and therefore closed) in $M$.

For instance, the set $\mathbb{N}$ of positive integers with its usual metric inherited from the one-dimensional Euclidean space $\mathbb{R}$ is a discrete metric space, the vertex set of any graph equipped with the shortest path distance is a discrete metric space, and, in particular, every finite metric space is a discrete metric space.

Theorem 4.1. ^[12] Let $M = (X, d)$ be a metric space. If $\eta(M) > 0$, then $M$ is a complete discrete metric space.

The next result is a criterion for completeness of any gravitational metric space.

Theorem 4.2. ^[12] A metric space is complete if and only if its gravitational metric space, with any gravitational constant, is complete.

We proceed to show that the completeness of $M\odot_f \mathcal{M}$ is equivalent to the completeness of all the metric spaces of the family $\mathcal{M}\cup \{M\}$.

Theorem 4.3. A corona metric space $M\odot_f \mathcal{M}$ is complete if and only if $M$ is complete and every $M_x\in \mathcal{M}$ is complete.

Proof. By definition of a corona metric space, $\eta(M) > 0$, and by Theorem 4.1, $M$ is a complete metric space. Hence, we proceed to show that the corona metric space $M\odot_f \mathcal{M}$ is complete if and only if every metric space $M_x\in \mathcal{M}$ is complete.

We first assume that $M_x\in \mathcal{M}$ is complete for every $x\in X$. Let $(z_n)_{n\in \mathbb{N}}$ be a Cauchy sequence in $M\odot_f \mathcal{M}$. Obviously, we only need to discuss the case in which this sequence is not eventually constant. By the definition of a Cauchy sequence, for every $\epsilon\in (0, \eta(M))$ there exists $n'\in \mathbb{N}$ such that $d_U(z_n, z_m) < \epsilon$ for every $n, m > n'$. Now, by the definition of nearness, we conclude that there exists $x\in X$ such that $z_n\in X_x$ for every $n > n'$. Thus, $\epsilon > d_U(z_n, z_m) = \min\{2\eta(x), d_{X_x}(z_n, z_m)\}$, for every $n, m > n'$. Let $(y_{n})_{n\in \mathbb{N}}$ be the Cauchy sequence defined by $y_{n-n'} = z_{n}$, for every $n > n'$. By Theorem 4.2, the gravitational metric space $M^*_x$ is complete, and so $(y_n)_{n\in \mathbb{N}}$ converges in $M^*_x$. Now, since $M^*_x$ is the subspace of $M\odot_f \mathcal{M}$ induced by $X_x$, we conclude that $(z_n)_{n\in \mathbb{N}}$ converges in $M\odot_f \mathcal{M}$. Therefore, $M\odot_f \mathcal{M}$ is a complete metric space.

Conversely, assume that $M\odot_f \mathcal{M}$ is a complete metric space. Let $(y_n)_{n\in \mathbb{N}}$ be a Cauchy sequence in $M_x$, for $M_x\in \mathcal{M}$. Hence, for every $\epsilon\in (0, \eta(x))$ there exists $n'\in \mathbb{N}$ such that $d_U(y_n, y_m) = d_{X_x}(y_n, y_m) < \epsilon$ for every $n, m > n'$. This implies that $(y_n)_{n\in \mathbb{N}}$ is a Cauchy sequence in $M\odot_f \mathcal{M}$, which is convergent, by the completeness of $M\odot_f \mathcal{M}$. Now, since $d_U(a, b)\ge \eta(x) > \epsilon$ for every $a\in X_x$ and $b\in U\setminus X_x$, we can conclude that $(y_n)_{n\in \mathbb{N}}$ converges in $M_x$. Therefore, $M_x$ is a complete metric space, for every $M_x\in \mathcal{M}$.

The concept of boundedness plays an important role in the theory of metric spaces. Whereas a metric space is bounded if it is included in a single ball, a metric space $M = (X, d)$ is totally bounded if for every $\epsilon > 0$ there exists a finite set $S\subseteq X$ such that $X = \cup_{s\in S} B_{\epsilon}(s)$, where

is the ball of center $s$ and radius $\epsilon$. Since the finite union of bounded sets is bounded, every totally bounded space is bounded. In general, the converse is not true.

Theorem 4.4. ^[12] A metric space is totally bounded if and only if its gravitational metric space, with any gravitational constant, is totally bounded.

We proceed to show that the total boundedness of $M\odot_f \mathcal{M}$ is equivalent to the total boundedness of all the metric spaces of the family $\mathcal{M}$ whenever $M$ is a finite metric space.

Theorem 4.5. A corona metric space $M\odot_f \mathcal{M}$, with $M = (X, d)$, is totally bounded if and only if $|X| < +\infty$ and $M_x$ is totally bounded for every $x\in X$.

Proof. Recall that $U = X\cup \left(\mathop{\bigcup}_{x\in X}X_x \right)$ is the set of points of $M\odot_f \mathcal{M}$. Let $0 < \epsilon < \eta(M)/2$ and $S\subseteq U$ such that $U = \cup_{s\in S}B_{\epsilon}(s)$. Since $B_{\epsilon}(x) = \{x\}$ for every $x\in X$, $B_{\epsilon}(y)\cap B_{\epsilon}(y') = \varnothing$ for every $y\in X_x$, and $y'\in U\setminus X_{x}$, we can conclude that $|S| < +\infty$ if and only if (a) $|X| < +\infty$ and (b) for each $x\in X$ there exists $S_x \subseteq S\cap X_x$ such that $|S_x| < +\infty$ and $X_x = \cup_{s\in S_x}B_{\epsilon}(s)$. Notice that (b) is equivalent to saying that the gravitational metric space $M^*_x$ is totally bounded for every $x\in X$. Therefore, by Theorem 4.4 we conclude the proof.

In order to study the compactness of corona metric spaces, we need to recall the following known theorem, which is a characterization of compact metric spaces, and is a generalization of the Heine-Borel theorem.

Theorem 4.6. ^[10] A metric space is compact if and only if it is complete and totally bounded.

Our next result is a direct consequence of Theorems 4.3, 4.5 and 4.6.

Theorem 4.7. A corona metric space $M\odot_f \mathcal{M}$, with $M = (X, d)$, is compact if and only if $|X| < +\infty$ and $M_x$ is compact for every $x\in X$.

A set $S$ of points of a metric space $M$ is dense in $M$ if every open ball of $M$ contains at least a point belonging to $S$. A metric space $M$ is separable if there exists a countable set of points which is dense in $M$.

Theorem 4.8. ^[12] A metric space is separable if and only if its gravitational metric space, with any gravitational constant, is separable.

Next, we proceed to study the separability of $M\odot_f \mathcal{M}$.

Theorem 4.9. A corona metric space $M\odot_f \mathcal{M}$, with $M = (X, d)$, is separable if and only if $X$ is a countable set and $M_x$ is separable for every $x\in X$.

Proof. We proceed to show that $M\odot_f \mathcal{M}$ is separable if and only if $X$ is a countable set and for any $x\in X$ the gravitational metric space $M^*_x$ is separable. After that, the proof is concluded by Theorem 4.8.

We first assume that $X$ is a countable set, and the gravitational metric space $M^*_x$ is separable for every $x\in X$. Let $S_x \subseteq X_x$ be a countable set which is dense in $M^*_x$. Notice that $S = X\cup (\cup_{x\in X}S_x)$ is a countable set, as the countable union of countable sets is countable. Now, a ball $B_{\epsilon}(y)$ in $M^*_{x}$ will be distinguished from a ball ${\bf B}_{\epsilon}(y)$ in $M\odot_f \mathcal{M}$ by the bold type used. Since $S_x$ is dense in $M^*_{x}$, we can conclude that for any $\epsilon > 0$ and $y\in X_x$,

Hence, $S = X\cup (\cup_{x\in X}S_x)$ is dense in $M\odot_f \mathcal{M}$, and so $M\odot_f \mathcal{M}$ is separable.

Conversely, assume that $M\odot_f \mathcal{M}$ is separable. Since every subspace of a separable metric space is separable, we can conclude that $M^*_{x}$ is separable for every $x\in X$. Finally, if $W$ is a countable set which is dense in $M\odot_f \mathcal{M}$, then for any $x\in X$ and $y\in X_x$, we have $X_x\supseteq{\bf B}_{\eta(M)/2}(y)\cap W \ne \varnothing$, which implies that $|X|\le |W|$. Therefore, $X$ is a countable set.

In the next section we will see that the above results have interesting applications.

5.   The metric dimension

The notion of the metric dimension of a general metric space was introduced for the first time in 1953 by Blumenthal ^[3] in his book Theory and Applications of Distance Geometry. This theory attracted little attention until, more than twenty years later, it was applied to the particular case of graphs ^[8,15,16]. Since then, it has been frequently applied and investigated in graph theory and many other disciplines. More recently, in ^[1,2,9,12], the theory of metric dimension was developed further for general metric spaces. In this section, we study the metric dimension of corona metric spaces.

Let $M = (X, d)$ be a metric space. If $X$ is an infinite set, we put $|X| = +\infty$. In fact, it is possible to develop the theory with $|X|$ any cardinal number, but we shall not do this. A subset $A\subseteq X$ is said to resolve $M$ if for any pair of different points $x, y\in X$, there exists a point $a\in A$ such that $d(x, a)\ne d(y, a)$. Informally, if an object in $M$ knows its distance from each point of $A$, then it knows exactly where it is located in $M$. The class $\mathcal{R}(M)$ of subsets of $X$ that resolve $M$ is non-empty, since $X$ resolves $M$. The metric dimension $\dim(M)$ of $M = (X, d)$ is defined as

The sets in $\mathcal{R}(M)$ are called the metric generators of $M$, and $A$ is a metric basis of $M$ if $A\in \mathcal{R}(M)$ and $|A| = {\rm dim}(M)$.

This terminology comes from the fact that a metric generator of a metric space $M = (X, d)$ induces a global co-ordinate system on $M$. For instance, if $(x_1, \ldots, x_r)$ is an ordered metric generator of $M$, then the map $\psi:X \to \mathbb{R}^r$ given by

is injective, which implies that the map $\psi$ is a bijection from $X$ to a subset of $\mathbb{R}^r$, and the metric space inherits its co-ordinates from this subset. As the following result shows, a stronger conclusion arises when $M$ is a compact metric space.

Theorem 5.1. ^[2] If $M$ is a compact metric space with ${\rm dim}(M) = r < +\infty$, then $M$ is homeomorphic to a compact subspace of the Euclidean space$\mathbb{R}^r$.

According to the following result, the boundedness of $M$ affects directly the metric dimension of its gravitational metric spaces.

Remark 5.2. ^[6] Let $M$ be a metric space and $M^*$ be its gravitational metric space for an arbitrary gravitational constant. If $M$ is unbounded, then $\dim(M^*) = +\infty$.

In general, the converse of Remark 5.2 does not hold. To see this, it is enough to consider $M = (\mathbb{R}, d_0)$, where $d_0$ is the discrete metric. In such a case, $\dim(M^*) = +\infty$ and $M$ is bounded.

Theorem 5.3. Let $M\odot_f \mathcal{M}$ be a corona metric space. If $X$ is the set of points of $M$, and every metric space in $\mathcal{M}$ has at least two points, then

Proof. Notice that, by the definition of a corona metric space, $0 < \eta(M) < +\infty$, and so $|X|\ge 2$. Let $W$ be a metric basis of $M\odot_f \mathcal{M}$ and let $W_x = W\cap X_x$ for every $x\in X$. Since for every $u, v\in X_x$ and every $a\in U\setminus X_x$

we deduce that $W_x$ is a metric generator of the subspace of $M\odot_f \mathcal{M}$ induced by $X_x$, which coincides with the gravitational metric space $M^*_x$, and so $|W_x|\ge \dim(M^*_x)$. Hence, if $\dim(M^*_x) = +\infty$ for some $x\in X$, or $|X| = +\infty$, then $\dim(M\odot_f \mathcal{M}) = +\infty$, and the result follows. From now on, assume that $|X| < +\infty$ and $\dim(M^*_x) < +\infty$ for every $x\in X$. Thus,

It remains to show that

To this end, we proceed to show that if $A_x$ is a metric basis of $M^*_x$ for every $x\in X$, then $A = \cup_{x\in X}A_x$ is a metric generator for $M\odot_f \mathcal{M}$. We differentiate the following cases for $u, v\in U\setminus A$, where $u\ne v$.

Case 1. $u, v\in X_x$, for some $x\in X$. Since $A_x$ is a metric basis of $M^*_x = (X_x, d^*_x)$, there exists $a\in A_x$ such that

Case 2. $u\in X$ and $v\in X_u$. In this case, for every $x\in X\setminus \{u\}$ and $a\in A_{x}$,

Case 3. $u\in X$ and $v\in X_{x}$, where $x\in X\setminus\{u\}$. For any $a\in A_{u}$,

Case 4. $u\in X_x$ and $v\in X_{x'}$, for some pair of different points $x, x'\in X$. Since $\eta(x)\le d_X(x, x')$, for any $a\in A_{x}$ we deduce that

Case 5. $u, v\in X$. In this case, for every $a\in A_u$ we have

According to the five cases above, $A$ is a metric generator of $M\odot_f \mathcal{M}$, and so

Therefore, the result follows.

The following result is a direct consequence of Theorem 5.3.

Corollary 5.4. Let $M\odot_f \mathcal{M}$ be a corona metric space such that every metric space in $\mathcal{M}$ has at least two points. If $|\mathcal{M}| = +\infty$, or there exists $M_x\in \mathcal{M}$ such that $\dim(M^*_x) = +\infty$, then$\dim(M\odot_f \mathcal{M}) = +\infty.$

By combining Theorems 4.7, 5.1 and 5.3, we deduce the following result.

Theorem 5.5. Let $M\odot_f \mathcal{M}$ be a corona metric space such that $|\mathcal{M}| < +\infty$, every metric space $M_x\in \mathcal{M}$ has at least two points, and $\dim(M^*_x) < +\infty$. Let $m = \sum_{M_x\in \mathcal{M}}\dim(M^*_x)$. If every $M_x\in \mathcal{M}$ is a compact metric space, then $M\odot_f \mathcal{M}$ is homeomorphic to a compact subspace of the Euclidean space $\mathbb{R}^m$.

We conclude this section with the following theorem, which is another interesting result on compact metric spaces.

Theorem 5.6. Let $M\odot_f \mathcal{M}$ be a corona metric space such that every metric space $M_x\in \mathcal{M}$ has at least two points. If $M\odot_f \mathcal{M}$ is a compact metric space, and $\dim(M\odot_f \mathcal{M}) < +\infty$, then the following statements hold.

(ⅰ) For any $M_x\in \mathcal{M}$, the gravitational metric space $M_x^*$ is homeomorphic to a compact subspace of the Euclidean space $\mathbb{R}^{m_x}$, where $m_x = \dim(M^*_x)$.

(ⅱ) Every metric space $M_x\in \mathcal{M}$ is homeomorphic to a compact subspace of the Euclidean space $\mathbb{R}^{n_x}$, where $n_x = \dim(M_x)\le \dim(M^*_x)$.

Proof. Let $M_x\in \mathcal{M}$ and $\dim(M^*_x) = m_x$. By Theorems 4.2, 4.4 and 4.6, we have that $M^*_x$ is compact if and only if $M_x$ is compact. On the other hand, if $M\odot_f \mathcal{M}$ is compact, then $M_x$ is compact, by Theorem 4.7. In summary, from the compactness of $M\odot_f \mathcal{M}$, we infer the compactness of $M^*_x$. Now, if $\dim(M\odot_f \mathcal{M}) < +\infty$, then Theorem 5.3 leads to $\dim(M^*_x) < +\infty$. Therefore, by Theorem 5.1 we complete the proof of (ⅰ).

In order to prove (ⅱ), notice that if a point distinguishes two elements in $M^*_x$, it also distinguishes them in $M_x$, which implies that $\dim(M_x)\le \dim(M^*_x) < +\infty$. Finally, since $M_x$ is compact, by Theorem 5.1 we complete the proof.

6.   Universal lines

Let $M = (X, d_X)$ be a metric space. Given two different points $x, x'\in X$, we define

A line $\mathcal{L}_M\{x, x'\}$ induced by two distinct points $x, x'\in X$ is defined by

A line $\mathcal{L}_{M}\{x, x'\}$ is universal whenever $\mathcal{L}_{M}\{x, x'\} = X$.

The following conjecture was stated by Chen and Chvátal ^[4] for the case of finite metric spaces, where $\ell(M)$ denotes the number of distinct lines in $M$.

Conjecture 6.1. (The Chen-Chvátal conjecture, ^[4]) Every finite metric space $M = (X, d_X)$ with at least two points either has a universal line or $\ell(M) \ge |X|$.

The Chen-Chvátal conjecture is an attempt to generalize the de Bruijn-Erdős theorem of Euclidean geometry, which asserts that every noncollinear set of $n$ points in the plane determines at least $n$ distinct lines.

The Chen-Chvátal conjecture remains open, and, as time goes by, the interest of mathematicians in solving it is increasing. Recently, Chvátal ^[5] described the main progress related to the conjecture and pointed out twenty-nine related open problems plus three additional conjectures. As one might expect, the paper highlights the existence of some families of metric spaces for which the conjecture has been solved.

Recently, Rodríguez-Velázquez ^[13] has solved the conjecture for some particular classes of metric spaces. Among other results, he has shown that if $M\odot_f \mathcal{M} = (U, d_U)$ is a finite corona metric space, where $\eta(x) = 1$ for every point $x$ of $M$, then either $M\odot_f \mathcal{M}$ has a universal line or $\ell(M\odot_f \mathcal{M})\ge |U|$.

The problem of investigating the properties of (finite or infinite) metric spaces having a universal line is interesting. In the case of a finite metric space $M = (X, d_X)$, the problem remains interesting even if we can check that $\ell(M) \ge |X|$. Recently, Rodríguez-Velázquez ^[14] discussed the problem for the particular case of metric spaces induced by graphs, including the case of metric spaces induced by corona graphs. In this section we analyse the problem for the general class of not necessarily finite corona metric spaces.

To begin with, we need to introduce the following notation. The diameter of a metric space $M = (X, d_X)$ is defined to be

Theorem 6.2. Let $M\odot_f \mathcal{M}$ be a corona metric space and $X$ the set of points of $M$. Then $M\odot_f \mathcal{M}$ has a universal line if and only if at least one of the following conditions holds.

(ⅰ) There exist $x\in X$ and $y\in X_x$ such that either $X_x = \{y\}$ or $d_{X_x}(y, z)\ge 2\eta(x)$ for every $z\in X_x\setminus\{y\}$.

(ⅱ) There exist two different points $x, x'\in X$ such that $[x, x'] = \{x, x'\}$, and the line $\mathcal{L}_{M}\{x, x'\}$ is universal.

Proof. Observe that, by Definition 2.1, $|X|\ge 2$, as $0 < \eta(M) < +\infty$. First, assume that (ⅰ) holds.

If there exists $x\in X$ such that $|X_x| = 1$, say $X_x = \{y\}$, then for any $z\in U\setminus \{x, y\}$, we have that $x\in [y, z]$, as

Therefore, the line $\mathcal{L}_{M\odot_f \mathcal{M}}\{x, y\}$ is universal.

On the other hand, if there exists $y\in X_x$ such that $d_{X_x}(y, z)\ge 2\eta(x)$ for every $z\in X_x\setminus\{y\}$, then

while for every $z'\in U\setminus (X_X\cup \{x\})$ we have that $x\in [y, z']$, as

Therefore, the line $\mathcal{L}_{M\odot_f \mathcal{M}}\{x, y\}$ is universal.

Now, assume that (ⅱ) holds. Let $x, x'\in X$ be two different points such that $[x, x'] = \{x, x'\}$ and the line $\mathcal{L}_{M}\{x, x'\}$ is universal. In this case, for any $x''\in X$, either $x\in [x', x'']$ or $x'\in [x, x'']$, which implies that for any $z\in \{x''\}\cup X_{x''}$, either $x\in [x', z]$ or $x'\in [x, z]$. Therefore, the line $\mathcal{L}_{M\odot_f \mathcal{M}}\{x, x'\}$ is universal.

Conversely, assume that there exist two points $u, v\in U$ such that the line $\mathcal{L}_{M\odot_f \mathcal{M}}\{u, v\}$ is universal. We differentiate the following cases.

Case 1. $u, v\in X$. Since $X\subseteq \mathcal{L}_{M\odot_f \mathcal{M}}\{u, v\}$, we conclude that the line $\mathcal{L}_{M}\{u, v\}$ is universal. Now, suppose that there exists $z\in [u, v]\setminus \{u, v\}$. Since for any $w\in X_z$,

and also

we obtain that $w\not\in \mathcal{L}_{M\odot_f \mathcal{M}}\{u, v\}$, which is a contradiction. Therefore, (ⅱ) follows.

Case 2. $u, v\in X_{x}$ for some point $x\in X$. Notice that $U\setminus (X_{x}\cup \{x\})\ne \varnothing$, as $|X|\ge 2$. Thus, for any $z\in U\setminus (X_{x}\cup \{x\})$,

i.e., $d_U(u, z)\ge d_U(u, v)$ and $d_U(v, z)\ge d_U(u, v)$, and so $z\not\in \mathcal{L}_{M\odot_f \mathcal{M}}\{u, v\}$, which is a contradiction. Therefore, this case does not occur.

Case 3. $u\in X$ and $v\in X_u$. If $X_u = \{v\}$, then (ⅰ) follows. Now, if $|X_u|\ge 2$, then for any $v'\in X_u\setminus \{v\}$ we have $d_U(u, v') = d_U(u, v) = \eta(u)$, and so $v'\not \in [u, v] = \{u, v\}$, $v\not\in [u, v'] = \{u, v'\}$ and $v'\in \mathcal{L}_{M\odot_f \mathcal{M}}\{u, v\}$, which implies that $u\in [v, v']$. As a result,

Therefore, (ⅰ) follows.

Case 4. $u\in X_x$ and $v\in X_{x'}$ for two distinct points $x, x'\in X$. Suppose that there exists $u'\in X_x\setminus \{u\}$. In this case,

which contradicts that $u'\in \mathcal{L}_{M\odot_f \mathcal{M}}\{u, v\}$. Therefore, $X_x = \{u\}$, and so (ⅰ) follows.

Case 5. $u\in X$ and $v\in X_{x}$ for some point $x\in X\setminus\{u\}$. Suppose that there exists $v'\in X_{x}\setminus\{v\}$. In this case,

which contradicts that $v' \in \mathcal{L}_{M\odot_f \mathcal{M}}\{u, v\}$. Therefore, (ⅰ) follows.

According to the five cases above, the proof is complete.

The following result is a particular case of Theorem 6.2.

Corollary 6.3. Let $M\odot_f \mathcal{M}$ be a corona metric space and $X$ be the set of points of $M$. If $1\le D(M_x) < 2\eta(x)$ for every $x\in X$, then the following statements are equivalent.

(ⅰ) $M\odot_f \mathcal{M}$ has a universal line.

(ⅱ) There exist two different points $x, x'\in X$ such that $[x, x'] = \{x, x'\}$ and the line $\mathcal{L}_{M}\{x, x'\}$ is universal.

A metric space $(Y, d_Y)$ is metrically convex, or convex in the sense of Menger, if for all different points $u, v\in Y$ there exists $w\in Y$ such that $w\in [u, v]\setminus \{u, v\}$, i.e., $d_Y(u, v) = d_Y(u, w)+d_Y(w, v)$.

It is not difficult to check that the following result follows from Theorem 6.2.

Corollary 6.4. Let $M\odot_f \mathcal{M}$ be a corona metric space and $X$ be the set of points of $M$. If $|X_x|\ge 2$, and the gravitational metric space $M^*_x$ is metrically convex for every $x\in X$, then the following statements are equivalent.

(ⅰ) $M\odot_f \mathcal{M}$ has a universal line.

(ⅱ) There exist two different points $x, x'\in X$ such that $[x, x'] = \{x, x'\}$, and the line $\mathcal{L}_{M}\{x, x'\}$ is universal.

Proof. We only need to observe that if $|X_x|\ge 2$, and the gravitational metric space $M^*_x$ is metrically convex for every $x\in X$, then condition (ⅰ) in Theorem 6.2 does not hold.

In Section 4 we learned that the gravitational metric space $M^*_x$, associated to a metric space $M_x$, inherits several properties from $M_x$. For instance, Theorem 4.2 states that the completeness is one of these hereditary properties. It is not difficult to check that, if $M^*_x$ has gravitational constant $\eta(x) < \frac{D(M_x)}{2}$, then the convexity of $M_x$ in the sense of Menger is not inherited by $M^*_x$, and neither is it inherited when $M_x$ is a complete metric space. Even so, we will show how to obtain a result in the direction of Corollary 6.4, in which we impose the convexity on $M_x$ instead of imposing it on $M^*_x$. However, in return we will have to impose the completeness on $M_x$. In short, to obtain the result we will not need $M^*_x$ to inherit the convexity of $M_x$.

One of our main tools will be the Menger theorem on complete and metrically convex metric spaces. First, let us recall that a subset $S$ of points of a metric space $(X, d)$ is called a metric segment between two distinct points $x, y\in X$ if there exist a closed interval $[ a, b ]$ on the real line and an isometry $\lambda: [a, b]\longrightarrow S$ such that $\lambda ([ a, b ]) = S$, $\lambda (a) = x$, and $\lambda (b) = y$.

Theorem 6.5 (Menger). Each two distinct points of a complete and metrically convex metric space are joined by a metric segment of the space.

The following result is obtained by combining Theorems 6.2 and 6.5.

Theorem 6.6. Let $M\odot_f \mathcal{M}$ be a corona metric space and $X$ be the set of points of $M$. If $|X_x|\ge 2$ and $M_x$ is a complete and metrically convex metric space for every $x\in X$, then the following statements are equivalent.

(ⅰ) $M\odot_f \mathcal{M}$ has a universal line.

(ⅱ) There exist two different points $x, x'\in X$ such that $[x, x'] = \{x, x'\}$, and the line $\mathcal{L}_{M}\{x, x'\}$ is universal.

Proof. For any $x\in X$, assume that $|X_x|\ge 2$, and $M_x$ is a complete and metrically convex metric space. By Theorem 6.2, we only need to prove that for any $y\in X_x$ there exists $z\in X_x\setminus \{y\}$ such that $d_{X_x}(y, z) < 2\eta(x)$.

To this end, let $y, y'\in X_x$ be two distinct points of $M_x$, and let $t = d_{X_x}(y, y')$. By Theorem 6.5, there exists a metric segment $S_{y, y'}\subseteq X_x$ with endpoints $y, y'$, i.e., there exists an isometry $\lambda: [0, t]\longrightarrow S_{y, y'}$ such that $\lambda(0) = y$ and $\lambda(t) = y'$. Hence, for any $0 < t' < \min\{t, 2\eta(x)\}$, there exists $z\in S_{y, y'}\setminus\{y, y'\}$ such that $\lambda(t') = z$, and, as a result, $d_{X_x}(y, z) = t' < 2\eta(x)$. Therefore, the result follows.

7.   Conclusions

In this paper, we have introduced the study of corona metric spaces as a natural generalization of the theory of corona product graphs. In particular, the concept of a corona metric space was defined in such a way that the set of vertices of any corona product graph, equipped with the shortest path distance, is a corona metric space.

An important role in this theory is played by the gravitational metric spaces, as many properties of the corona metric spaces are discussed on the basis of properties of the gravitational metric spaces. In particular, we have considered basic properties including completeness, boundedness, compactness and separability. Furthermore, we have obtained a formula for the metric dimension of a corona metric space, and we have derived some results linking the metric dimension with some properties discussed previously. Finally, we have obtained necessary and sufficient conditions for the existence of universal lines in corona metric spaces.

Conflict of interest

The author declare that he has no conflict of interest.