On constructive distribution functions
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VII, Tome 60 (1976), pp. 59-64
Voir la notice de l'article provenant de la source Math-Net.Ru
The concept is introduced of a distribution function given by means of a sequence of finite-step functions that converges in the integral metric. (As shown in [1], the pointwise representation of a constructive distribution function at all points is not possible.) It is shown that there is a correspondence between constructive distributive functions and constructive characteristic functions.
@article{ZNSL_1976_60_a5,
author = {N. K. Kossovski},
title = {On constructive distribution functions},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {59--64},
publisher = {mathdoc},
volume = {60},
year = {1976},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1976_60_a5/}
}
N. K. Kossovski. On constructive distribution functions. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VII, Tome 60 (1976), pp. 59-64. http://geodesic.mathdoc.fr/item/ZNSL_1976_60_a5/