Displaying similar documents to “A continuous operator extending ultrametrics”

A note on operators extending partial ultrametrics

Edward D. Tymchatyn, Michael M. Zarichnyi (2005)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We consider the question of simultaneous extension of partial ultrametrics, i.e. continuous ultrametrics defined on nonempty closed subsets of a compact zero-dimensional metrizable space. The main result states that there exists a continuous extension operator that preserves the maximum operation. This extension can also be chosen so that it preserves the Assouad dimension.

The Measurability of Complex-Valued Functional Sequences

Keiko Narita, Noboru Endou, Yasunari Shidama (2009)

Formalized Mathematics

Similarity:

In this article, we formalized the measurability of complex-valued functional sequences. First, we proved the measurability of the limits of real-valued functional sequences. Next, we defined complex-valued functional sequences dividing real part into imaginary part. Then using the former theorems, we proved the measurability of each part. Lastly, we proved the measurability of the limits of complex-valued functional sequences. We also showed several properties of complex-valued measurable...