Abstract
Introduction
Visual space is the expanse within which we, that is, human beings, and most animals, perceive objects through vision. In humans, visual space differs from physical space at the scale relevant to vision, especially at long viewing distances. The geometry of visual space has been investigated in numerous studies. Results depended heavily on methods, conditions, and instructions. Consequently, a multitude of ideas and models have been proposed in the literature. In a comprehensive review, Wagner (2012) came to the rather daunting conclusion, namely, that we should see visual space as a family of spaces whose individual geometries differ from each other depending on experimental conditions and mental shifts in the meaning of size and distance. Nevertheless, perspective space has been recently introduced as an appropriate model of visual space (Erkelens, 2015a). The geometry of the model is simple and describes experimental results, ranging from the parallel alleys of Hillebrand (1902) and Blumenfeld (1913) to violation of parallelism (Cuijpers et al., 2000), as well as preservation of collinearity (Cuijpers et al., 2002), as well as judgments of angles between rails and bars oriented in depth (Erkelens, 2015b, 2015c). Furthermore, the geometry of perspective space predicted a mathematical relationship between perceived distance
The equation, previously derived by Gilinsky (1951) from a model of binocular visual space (Luneburg, 1950), appeared to describe various experimental results of distance judgments equally well as models proposed for specific tasks (Baird & Wagner, 1991; Foley et al., 2004; Gilinsky, 1951; Li & Durgin, 2012; Ooi & He, 2007; Wu et al. 2004). Although perspective space is a promising model of visual space, it fails a complete, mathematical description. The goal of the present study is to extend the mathematical expression for perceived distance in the viewing direction to an analytical model that holds for all visual directions.
Until now, perspective space has been described in the form of a geometric construction (Figure 1). Perspective space is defined by two geometric rules. The first rule is that the visual direction

Geometry of perspective space in the transverse plane at eye level. The origin of the Cartesian coordinate system
Computation of Line Pieces in Perspective Space
Characteristic for perspective space is the property that straight lines, oriented in any random direction in physical space, transfer to straight lines in perspective space (Erkelens, 2015a). Maintaining the straightness of lines is regarded as an essential requirement for the suitability of a mathematical description of perspective space.
To examine mathematical expressions, line pieces have been computed in the horizontal plane of physical and perspective space. Computations started by defining straight line pieces as

Computed line pieces in the
In this relationship, the term
The straightness of perspective line segments has been investigated here in two dimensions. However, placement of the viewpoint at the origin of the plane is the only restriction applied to the computations made for line pieces in two-dimensional planes. Rotation of the plane about the

Computed line pieces in 3D space. The plots show line pieces in physical (blue) and perspective (red) space between two egocentric directions (orange). (a) The selected line-pieces do not intersect the
Computation of Equidistance Loci
Positions of apparent equal distance have been a subject of considerable interest in both monocular and binocular vision (Howard & Rogers, 2012). Together with such positions, called the locus of equidistant points, constitute a circle in the transverse plane at eye level of physical space. The equidistance locus in the same plane of perspective space is given by the equation:

Computed loci of egocentric equidistance. (a) The loci fulfill the constraint
In Figure 4b, two equidistance loci in perspective space are drawn together with similar loci in physical space and loci lying on Vieth-Müller circles. As was remarked, the loci in physical space are circles about the viewpoint. Vieth-Müller circles, or horizontal horopters, are loci in the horizontal plane of which points project to identical retinal locations of the two eyes. The horopters include the binocular fixation point and the nodal points of the eyes. Horopters are relevant for a discussion of equidistance loci because it has been proposed in the literature that objects projecting to corresponding retinal points appear equidistant to observers (Howard & Rogers, 2012). Figure 4b shows that equidistance loci in perspective space lie in between horopters and equidistant loci in physical space. This observation is of interest in relation to the results of equidistance judgments reported in the literature and will be discussed in the Discussion section.
Computation of Line Pieces Based on Another Model of Depth Perception
Until now, computations have been made for perspective space as a model of visual space. Good results were obtained if the perceived distance was described by the rational function
Line pieces have been computed for a range of parameter values of

Computed line pieces in the
Analysis of the Analytical Function for Distance in Perspective Space
The previous paragraph showed that models assuming an infinite space cannot describe visual space because parallel lines oriented in depth in physical space will not appear to converge. Finite vanishing points such as in perspective space are a prerequisite for the description of visual space. Perspective space appears to describe visual space very accurately if its finite distance is defined for the viewing direction. The non-linear relationship between visual and physical distance in the viewing direction is unique because it follows directly from the two geometric axioms. The question arises whether the demand of straightness of lines tolerates any deviation from this relationship. To address this question, computations were made for slightly different distance relationships.
Figure 6a shows

Computed distance relationships and line pieces in the
Discussion
The computations established two properties of visual space: (1) visual space is finite, and (2) visual space has a fixed geometry in people with normal vision. Computations showed that visual space must be finite because parallel lines oriented in depth remain parallel in infinite visual spaces (Figure 4b). A finite visual space implies that all models and descriptions based on power functions must be dismissed (see chapter 5 of Wagner (2012) for a meta-analysis on data from a long list of studies). Visual space appears to have a very specific geometry. It is the only geometry warranting that, for instance, straight railway tracks, oriented in depth, are perceived as straight, converging tracks (Erkelens, 2015b).
The function describing the geometry of perspective space was found by combining experimental judgments with everyday observation. The experimental judgments are the estimated distances of objects, such as have been measured in many experiments. The everyday observation is that straight lines in physical space are also straight in visual space. Distances in the perspective-space model are compatible with distances produced by several other models, proposed to describe the results of different types of distance judgments (Erkelens, 2017). Most of the models are confined to describing distance and size judgments for objects placed in the viewing direction of observers. They are not defined for other directions of visual space. The perspective-space model was construed to describe visual space in all directions. Until now, however, it gave just a mathematical expression for distances and sizes in the viewing direction. The current analysis extends the mathematically formulated geometry to the entire 3D space. Establishing that straight lines in physical space are also straight in visual space, seems obvious if we look at the shapes of objects in our direct environment. For example, straight lines are abundantly present in buildings, rooms, windows, tiles, and many other objects. Would designers, constructors, and builders have taken the effort to design and make objects having straight edges if these would be perceived as curved? For instance, makers of camera lenses go to great lengths to minimize barrel and pin-cushion distortions as much as possible. Still, in the literature of space perception, the longstanding conviction is that visual space is curved. Ideas of a curved visual space are mainly based on indirect measurements of positions and orientations of small, isolated objects. Famous are the parallel and distance alleys in depth, initially measured by Hillebrand (1902) and Blumenfeld (1913). The alleys led to the concept of curved visual space (Luneburg, 1947, 1950). The alleys are described by the perspective-space model, if one accepts that parallel alleys reflect a special condition in visual space and distance alleys a special condition in physical space (Erkelens, 2015a, 2017). Later, experiments of Cuijpers et al. (2000) showed that parallelism in physical space is violated in visual space, also suggesting curvedness. However, the perspective model of a flat visual space, in which geodesics are straight lines, appeared to describe these results too (Erkelens, 2015a). A direct demonstration of curved lines that appear straight has been reported by von Helmholtz (1910/1925/2000). He observed that a 90-degree-wide pin-cushion pattern was seen as a squared checkerboard if it was fixated monocularly from a distance of 20 cm. The effect was probably dominated by non-perceived distortions in the far periphery because the effect was greatly reduced during free viewing (Oomes et al., 2009). During fixation from a distance of 20 cm, the central pattern is seen sharp, whereas the peripheral pattern becomes progressively blurred towards the edges. An alternative interpretation of Helmholtz's observation is that the flat pin-cushion pattern is perceived as a concave sphere, of which all lines bend towards the viewer. In fact, such observations were made by divers wearing facemasks while viewing a planar structure underwater (Vernoy & Luria, 1977). The alternative interpretation of Helmholtz’s observation implies that curved lines in physical space appear as curved in visual space. And thus, the demonstration by Helmholtz does not contradict the contention that straight lines in physical space are also straight in visual space.
A remarkable result of the computations is the fact that equidistance loci in perspective space are lying in between circles about the viewpoint and Vieth-Müller circles (Figure 4). Foley (1966) measured the locus of perceived equidistance in the eye-level plane at several distances from the observer. This locus was found to be concave with a curvature intermediate between the physically equidistant circle and that of the corresponding Vieth-Müller circle. Ebenholtz and Ebenholtz (2003) used another method and came to a similar conclusion during binocular and monocular viewing of the stimuli in further darkness. These results are in line with earlier measurements of the empirical longitudinal horopter by Hering (1864) and Hillebrand (1893). The measurements showed a consistent deviation from the geometric Vieth-Müller circle, whether the horopter was measured in terms of equal visual direction or by the more perceptual criteria of the range of fusion or equal perceived distance (Tyler, 1991). The measured points were located outside of the Vieth-Müller circle. The deviation between the empirical and theoretical horopter, known as the Hering-Hillebrand deviation, was explained by a supposed asymmetry between the nasal and temporal retinae (Ogle, 1962). The measured loci of equidistance discussed here, are in close agreement with the computed equidistance loci of perspective space. This observation suggests that the empirical horopter is better explained by the geometry of visual space than by the theoretical horopter.
The analytical model is not just the appropriate description of visual space, it is also a simple description. Expressed in vector notation, the description is even simpler. In vector notation, the relationship between positions in visual and physical space is given by
The relationship is valid throughout 3D space and relates positions in visual space one-to-one to positions in physical space. Analysis of alternative functions showed that the closed-form expression for
Perspective space is not a neurobiological model of visual space. It does not explain or even suggest how visual space emerges from retinal images and neural processes (Erkelens, 2017). Neural implementation of the function for perceived distance is highly unlikely because it would require knowledge of the physical distance of objects. The concept of a visual space different from physical space would be redundant if the brain would have accurate knowledge of physical space. This raises the question: How does the brain create and maintain a particular geometry of visual space? The strong relationship between the geometry of visual space and the straightness of lines is suggestive of a neural mechanism. A consequence of the unique relationship between physical and visual distance is that straight lines and contours would look curved with any other geometry of visual space. With another geometry, perceived curvatures of lines and contours of an object would also change in shape, if the object would move, not only in depth but also in other directions. In other words, conservation of straightness dictates the geometry of visual space. This opens the possibility that the geometry of visual space results from a process, serving to keep the perceived shape of objects constant in a dynamic world. Researchers on the statistics of natural scenes have proposed a conceptual framework, in which the statistical properties of the visual environment tune and adapt visual perception (Geisler, 2008; Yang & Purves, 2003). Within this concept, the strong constraint on the geometry of visual space, demanded by the conservation of straightness of lines, may be achieved by a mechanism, dedicated to preserving the curvature of lines and contours over space and time by adjusting their perceived distance. Studies of after-effects have established long ago that visual perception adapts to curvature (Carlson, 1963; Coltheart, 1971; Gibson, 1933). Prolonged inspection of a curved line makes a straight line appear to be curved in the opposite direction. Extensive work on adaptation to prismatic and refractive distortions suggested an internal readjustment tied to the egocentric coordinate system (Harris, 1965; Held & Freedman, 1963; Kohler, 1962). Until now, measurements have been confined to perceived shape. The current study suggests that adaptation to prismatic and refractive distortions may also affect perceived distance.
