Astrogeometry: Toward mathematical foundations

Inimage processing (e.g., inastronomy), the desired black-and-white image is, from the mathematical viewpoint, aset. Hence, to process images, we need to process sets. To define a generic set, we need infinitely many parameters; therefore, if we want to represent and process sets in the computer, we must restrict ourselves to finite-parameter families of sets that will be used to approximate the desired sets. The wrong choice of a family can lead to longer computations and worse approximation. Hence, it is desirable to find the family that it isthe best in some reasonable sense. In this paper, we show how the problems of choosing the optimal family of sets can be formalized and solved. As a result of the described general methodology, forastronomical images, we get exactly the geometric shapes that have been empirically used by astronomers and astrophysicists; thus, we have atheoretical explanation for these shapes.