A perceptual space consists of a set of relevant stimuli along with a set of similarity relationships. Perceptual spaces have been constructed for features as diverse as gloss (Ferwerda, Pellacini, & Greenberg,
2001; Wills, Agarwal, Kriegman, & Belongie,
2009), patterns (Victor & Conte,
2012), timbre (Lakatos,
2000; Terasawa, Slaney, & Berger,
2005), vowels (Pols, van der Kamp, & Plomp,
1969), sound textures (McDermott, Schemitsch, & Simoncelli,
2013), gestures (Arfib, Couturier, Kessous, & Verfaille,
2002), biological motion (Giese & Lappe,
2002), tactile textures (Hollins, Bensmaia, Karlof, & Young,
2000), tactile orientation (Bensmaia, Denchev, Dammann, Craig, & Hsiao,
2008), odors (Cleland, Johnson, Leon, & Linster,
2007), and others (Zaidi et al.,
2013). The characteristics of every perceptual space center on two fundamental properties: dimensionality and intrinsic geometry, which are, in turn, consequences of the space's metric, i.e., the operation that defines similarity. Historically, similarities have been estimated by errors in matches as estimates of just-discriminable differences, or thresholds, or numerical ratings. Based on the experimentally determined properties of the similarity measure, the perceptual space can be assigned a well-defined geometry, thus providing access to a large number of theorems that in turn specify implications of the representational structure. These geometries form a natural hierarchy, with more highly structured geometries placing greater demands on the conditions that the metric must satisfy (Klein,
1939; Brannan, Esplen, & Gray,
1999). At the top of the hierarchy is Euclidean geometry and its non-Euclidean relatives elliptical and hyperbolic, which allow representing stimuli as vectors, with sizes and angles invariant to transformations. Affine geometry is one step down the hierarchy: It allows for vector representations on arbitrarily scaled axes; thus, lines and parallelism remain invariant to transforms, but angle or size do not. Further down is Projective geometry: Collinearity and dimension remain invariant, but parallelism does not. Lower still, with the fewest geometrical requirements, is Topological space, where proximity is invariant but collinearity and dimension are not. Superimposed on this characterization of the intrinsic geometry of the perceptual space is its extrinsic geometry, which is the mapping of the perceptual space onto a physical space of stimuli, characterizing which can provide additional information about neural transformations. In terms of the dimensionality of the space, higher dimensional representations enable added flexibility in learning and finer grained qualitative distinctions, but can impose a higher cost on similarity computations.