The traditional first-order analysis in Euclidean spaces relies on the Sobolev spaces W1,p(Ω), where Ω ⊂ Rn is open and p ∈ [1, ∞].The Sobolev norm is then defined as the sum of Lp norms of a function and its distributional gradient.We generalize the notion of Sobolev spaces in two different ways. First, the underlying function norm will be replaced by the “norm” of a quasi-Banach function lattice. Second, we will investigate functions defined on an abstract metric measure space and that is why the distributional gradients need to be substituted. The thesis consists of two papers. The first one builds up the elementary theory of Newtonian spaces based on quasi-Banach function lattices. These lattices are complete linear spaces of measurable functions with a topology given by a quasinorm satisfying the lattice property. Newtonian spaces are first-order Sobolev-type spaces on abstract metric measure spaces, where the role of weak derivatives is passed on to upper gradients. Tools such asmoduli of curve families and the Sobolev capacity are developed, which allows us to study basic properties of the Newtonian functions.We will see that Newtonian spaces can be equivalently defined using the notion of weak upper gradients, which increases the number of techniques available to study these spaces. The absolute continuity of Newtonian functions along curves and the completeness of Newtonian spaces in this general setting are also established. The second paper in the thesis then continues with investigation of properties of Newtonian spaces based on quasi-Banach function lattices. The set of all weak upper gradients of a Newtonian function is of particular interest.We will prove that minimalweak upper gradients exist in this general setting.Assuming that Lebesgue’s differentiation theoremholds for the underlyingmetricmeasure space,wewill find a family of representation formulae. Furthermore, the connection between pointwise convergence of a sequence of Newtonian functions and its convergence in norm is studied.

This thesis consists of four papers and focuses on function spaces related to first-order analysis in abstract metric measure spaces. The classical (i.e., Sobolev) theory in Euclidean spaces makes use of summability of distributional gradients, whose definition depends on the linear structure of Rn. In metric spaces, we can replace the distributional gradients by (weak) upper gradients that control the functions’ behavior along (almost) all rectifiable curves, which gives rise to the so-called Newtonian spaces. The summability condition, considered in the thesis, is expressed using a general Banach function lattice quasi-norm and so an extensive framework is built. Sobolev-type spaces (mainly based on the Lp norm) on metric spaces, and Newtonian spaces in particular, have been under intensive study since the mid-1990s. In Paper I, the elementary theory of Newtonian spaces based on quasi-Banach function lattices is built up. Standard tools such as moduli of curve families and the Sobolev capacity are developed and applied to study the basic properties of Newtonian functions. Summability of a (weak) upper gradient of a function is shown to guarantee the function’s absolute continuity on almost all curves. Moreover, Newtonian spaces are proven complete in this general setting. Paper II investigates the set of all weak upper gradients of a Newtonian function. In particular, existence of minimal weak upper gradients is established. Validity of Lebesgue’s differentiation theorem for the underlying metric measure space ensures that a family of representation formulae for minimal weak upper gradients can be found. Furthermore, the connection between pointwise and norm convergence of a sequence of Newtonian functions is studied. Smooth functions are frequently used as an approximation of Sobolev functions in analysis of partial differential equations. In fact, Lipschitz continuity, which is (unlike <img src="http://www.diva-portal.org/cgi-bin/mimetex.cgi?%5Cmathcal%7BC%7D%5E1" />-smoothness) well-defined even for functions on metric spaces, often suffices as a regularity condition. Thus, Paper III concentrates on the question when Lipschitz functions provide good approximations of Newtonian functions. As shown in the paper, it suffices that the function lattice quasi-norm is absolutely continuous and a fractional sharp maximal operator satisfies a weak norm estimate, which it does, e.g., in doubling Poincaré spaces if a non-centered maximal operator of Hardy–Littlewood type is locally weakly bounded. Therefore, such a local weak boundedness on rearrangement-invariant spaces is explored as well. Finer qualitative properties of Newtonian functions and the Sobolev capacity get into focus in Paper IV. Under certain hypotheses, Newtonian functions are proven to be quasi-continuous, which yields that the capacity is an outer capacity. Various sufficient conditions for local boundedness and continuity of Newtonian functions are established. Finally, quasi-continuity is applied to discuss density of locally Lipschitz functions in Newtonian spaces on open subsets of doubling Poincaré spaces.