Gross spaces

  • Shelah S
  • Spinas O
4Citations
Citations of this article
73Readers
Mendeley users who have this article in their library.

Abstract

A Gross space is a vector space E E of infinite dimension over some field F F , which is endowed with a symmetric bilinear form Φ : E 2 → F \Phi :E^{2} \rightarrow F and has the property that every infinite dimensional subspace U ⊆ E U\subseteq E satisfies dim  U ⊥ > U^{\perp }> dim  E E . Gross spaces over uncountable fields exist (in certain dimensions) (see [H. Gross and E. Ogg, Quadratic spaces with few isometries , Comment. Math. Helv. 48 (1973), 511-519]). The existence of a Gross space over countable or finite fields (in a fixed dimension not above the continuum) is independent of the axioms of ZFC. Here we continue the investigation of Gross spaces. Among other things, we show that if the cardinal invariant b equals ω 1 \omega _{1} , a Gross space in dimension ω 1 \omega _{1} exists over every infinite field, and that it is consistent that Gross spaces exist over every infinite field but not over any finite field. We also generalize the notion of a Gross space and construct generalized Gross spaces in ZFC.

Cite

CITATION STYLE

APA

Shelah, S., & Spinas, O. (1996). Gross spaces. Transactions of the American Mathematical Society, 348(10), 4257–4277. https://doi.org/10.1090/s0002-9947-96-01658-3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free