Misplaced Pages

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) The topic of this article may not meet Misplaced Pages's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Diversity" mathematics – news · newspapers · books · scholar · JSTOR (December 2022) (Learn how and when to remove this message) This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Diversity" mathematics – news · newspapers · books · scholar · JSTOR (December 2022) (Learn how and when to remove this message)

In mathematics, a diversity is a generalization of the concept of metric space. The concept was introduced in 2012 by Bryant and Tupper, who call diversities "a form of multi-way metric". The concept finds application in nonlinear analysis.

Given a set ${\displaystyle X}$, let ${\displaystyle \wp _{\mbox{fin}}(X)}$ be the set of finite subsets of ${\displaystyle X}$. A diversity is a pair ${\displaystyle (X,\delta )}$ consisting of a set ${\displaystyle X}$ and a function ${\displaystyle \delta \colon \wp _{\mbox{fin}}(X)\to \mathbb {R} }$ satisfying

(D1) ${\displaystyle \delta (A)\geq 0}$, with ${\displaystyle \delta (A)=0}$ if and only if ${\displaystyle \left|A\right|\leq 1}$

and

(D2) if ${\displaystyle B\neq \emptyset }$ then ${\displaystyle \delta (A\cup C)\leq \delta (A\cup B)+\delta (B\cup C)}$.

Bryant and Tupper observe that these axioms imply monotonicity; that is, if ${\displaystyle A\subseteq B}$, then ${\displaystyle \delta (A)\leq \delta (B)}$. They state that the term "diversity" comes from the appearance of a special case of their definition in work on phylogenetic and ecological diversities. They give the following examples:

Diameter diversity

Let ${\displaystyle (X,d)}$ be a metric space. Setting ${\displaystyle \delta (A)=\max _{a,b\in A}d(a,b)=\operatorname {diam} (A)}$ for all ${\displaystyle A\in \wp _{\mbox{fin}}(X)}$ defines a diversity.

L₁ diversity

For all finite ${\displaystyle A\subseteq \mathbb {R} ^{n}}$ if we define ${\displaystyle \delta (A)=\sum _{i}\max _{a,b}\left\{\left|a_{i}-b_{i}\right|\colon a,b\in A\right\}}$ then ${\displaystyle (\mathbb {R} ^{n},\delta )}$ is a diversity.

Phylogenetic diversity

If T is a phylogenetic tree with taxon set X. For each finite ${\displaystyle A\subseteq X}$, define ${\displaystyle \delta (A)}$ as the length of the smallest subtree of T connecting taxa in A. Then ${\displaystyle (X,\delta )}$ is a (phylogenetic) diversity.

Steiner diversity

Let ${\displaystyle (X,d)}$ be a metric space. For each finite ${\displaystyle A\subseteq X}$, let ${\displaystyle \delta (A)}$ denote the minimum length of a Steiner tree within X connecting elements in A. Then ${\displaystyle (X,\delta )}$ is a diversity.

Truncated diversity

Let ${\displaystyle (X,\delta )}$ be a diversity. For all ${\displaystyle A\in \wp _{\mbox{fin}}(X)}$ define ${\displaystyle \delta ^{(k)}(A)=\max \left\{\delta (B)\colon |B|\leq k,B\subseteq A\right\}}$. Then if ${\displaystyle k\geq 2}$, ${\displaystyle (X,\delta ^{(k)})}$ is a diversity.

Clique diversity

If ${\displaystyle (X,E)}$ is a graph, and ${\displaystyle \delta (A)}$ is defined for any finite A as the largest clique of A, then ${\displaystyle (X,\delta )}$ is a diversity.

References

1. Bryant, David; Tupper, Paul (2012). "Hyperconvexity and tight-span theory for diversities". Advances in Mathematics. 231 (6): 3172–3198. arXiv:1006.1095. doi:10.1016/j.aim.2012.08.008.
2. Bryant, David; Tupper, Paul (2014). "Diversities and the geometry of hypergraphs". Discrete Mathematics and Theoretical Computer Science. 16 (2): 1–20. arXiv:1312.5408.
3. Espínola, Rafa; Pia̧tek, Bożena (2014). "Diversities, hyperconvexity, and fixed points". Nonlinear Analysis. 95: 229–245. doi:10.1016/j.na.2013.09.005. hdl:11441/43016. S2CID 119167622.

This metric geometry-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

• Metric spaces
• Metric geometry stubs