Showing 1–16 of 16 results for author: van der Walt, J H

Locally solid convergence structures

Authors: E. Bilokopytov, J. Conradie, V. G. Troitsky, J. H. van der Walt

Abstract: While there is a well developed theory of locally solid topologies, many important convergences in vector lattice theory are not topological. Yet they share many properties with locally solid topologies. Building upon the theory of convergence structures, we develop a theory of locally solid convergences, which generalize locally solid topologies but also includes many important non-topological co… ▽ More While there is a well developed theory of locally solid topologies, many important convergences in vector lattice theory are not topological. Yet they share many properties with locally solid topologies. Building upon the theory of convergence structures, we develop a theory of locally solid convergences, which generalize locally solid topologies but also includes many important non-topological convergences on a vector lattice. We consider some natural modifications of such structures: unbounded, bounded, and Choquet. We also study some specific convergences in vector lattices from the perspective of locally solid convergence structures. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 71 pages

MSC Class: Primary: 46A40. Secondary: 46A19; 54A20

L-functional analysis

Authors: Eder Kikianty, Miek Messerschmidt, Luan Naude, Mark Roelands, Christopher Schwanke, Walt van Amstel, Jan Harm van der Walt, Marten Wortel

Abstract: Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital $f$-algebra $\mathbb{L}$; such an algebra can be represented as a suitable space of continuous functions. We set up the basic theory of $\mathbb{L}$-normed and… ▽ More Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital $f$-algebra $\mathbb{L}$; such an algebra can be represented as a suitable space of continuous functions. We set up the basic theory of $\mathbb{L}$-normed and $\mathbb{L}$-Banach spaces and bounded operators between them, we discuss the $\mathbb{L}$-valued analogues of the classical $\ell^p$-spaces, and we prove the analogue of the Hahn-Banach theorem. We also discuss the basics of the theory of $\mathbb{L}$-Hilbert spaces, including projections onto convex subsets and the Riesz Representation theorem. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 50 pages

MSC Class: 46B99 (Primary); 06F25 (Secondary)

The order bidual of C(X) for a realcompact space

Authors: Marcel de Jeu, Jan Harm van der Walt

Abstract: It is well known that the bidual of $\mathrm C(X)$ for a compact space $X$, supplied with the Arens product, is isometrically isomorphic as a Banach algebra to $\mathrm C(\tilde X)$ for some compact space $\tilde X$. The space $\tilde X$ is unique up to homeomorphism. We establish a similar result for realcompact spaces: The order bidual of $\mathrm C(X)$ for a realcompact space $X$, when supplied… ▽ More It is well known that the bidual of $\mathrm C(X)$ for a compact space $X$, supplied with the Arens product, is isometrically isomorphic as a Banach algebra to $\mathrm C(\tilde X)$ for some compact space $\tilde X$. The space $\tilde X$ is unique up to homeomorphism. We establish a similar result for realcompact spaces: The order bidual of $\mathrm C(X)$ for a realcompact space $X$, when supplied with the Arens product, is isomorphic as an $f$-algebra to $\mathrm C(\tilde X)$ for some realcompact space $\tilde X$. The space $\tilde X$ is unique up to homeomorphism. △ Less

Submitted 7 March, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

MSC Class: 46E05; 46A40; 46M40

Journal ref: Quaest. Math. 47 (2024), 101-119

Limits of vector lattices

Authors: Walt van Amstel, Jan Harm van der Walt

Abstract: If $K$ is a compact Hausdorff space so that the Banach lattice $C(K)$ is isometrically lattice isomorphic to a dual of some Banach lattice, then $C(K)$ can be decomposed as the $\ell^\infty$-direct sum of the carriers of a maximal singular family of order continuous functionals on $C(K)$. In order to generalise this result to the vector lattice $C(X)$ of continuous, real valued functions on a real… ▽ More If $K$ is a compact Hausdorff space so that the Banach lattice $C(K)$ is isometrically lattice isomorphic to a dual of some Banach lattice, then $C(K)$ can be decomposed as the $\ell^\infty$-direct sum of the carriers of a maximal singular family of order continuous functionals on $C(K)$. In order to generalise this result to the vector lattice $C(X)$ of continuous, real valued functions on a realcompact space $X$, we consider direct and inverse limits in suitable categories of vector lattices. We develop a duality theory for such limits and apply this theory to show that $C(X)$ is lattice isomorphic to the order dual of some vector lattice $F$ if and only if $C(X)$ can be decomposed as the inverse limit of the carriers of all order continuous functionals on $C(X)$. In fact, we obtain a more general result: A Dedekind complete vector lattice $E$ is perfect if and only if it is lattice isomorphic to the inverse limit of the carriers of a suitable family of order continuous functionals on $E$. A number of other applications are presented, including a decomposition theorem for order dual spaces in terms of spaces of Radon measures. △ Less

Submitted 24 August, 2023; v1 submitted 12 July, 2022; originally announced July 2022.

MSC Class: 46M40; 46A40; 46E05

Universally complete spaces of continuous functions

Authors: Jan Harm van der Walt

Abstract: We characterise Tychonoff spaces X so that C(X) is universally σ-complete and universally complete, respectively. We characterise Tychonoff spaces X so that C(X) is universally σ-complete and universally complete, respectively. △ Less

Submitted 11 May, 2021; originally announced May 2021.

Comments: 7 pages

MSC Class: 46E05; 46A40; 54G10

Net convergence structures with applications to vector lattices

Authors: M. O'Brien, V. G. Troitsky, J. H. van der Walt

Abstract: Convergence is a fundamental topic in analysis that is most commonly modelled using topology. However, there are many natural convergences that are not given by any topology; e.g., convergence almost everywhere of a sequence of measurable functions and order convergence of nets in vector lattices. The theory of convergence structures provides a framework for studying more general modes of converge… ▽ More Convergence is a fundamental topic in analysis that is most commonly modelled using topology. However, there are many natural convergences that are not given by any topology; e.g., convergence almost everywhere of a sequence of measurable functions and order convergence of nets in vector lattices. The theory of convergence structures provides a framework for studying more general modes of convergence. It also has one particularly striking feature: it is formalized using the language of filters. This paper develops a general theory of convergence in terms of nets. We show that it is equivalent to the filter-based theory and present some translations between the two areas. In particular, we provide a characterization of pretopological convergence structures in terms of nets. We also use our results to unify certain topics in vector lattices with general convergence theory. △ Less

Submitted 1 March, 2021; originally announced March 2021.

MSC Class: 46A40; 54A20

Category measures, the dual of $C(K)^δ$ and hyper-Stonean spaces

Authors: Jan Harm van der Walt

Abstract: For a compact Hausdorff space $K$, we give descriptions of the dual of $C(K)^δ$, the Dedekind completion of the Banach lattice $C(K)$ of continuous, real-valued functions on $K$. We characterize those functionals which are $σ$-order continuous and order continuous, respectively, in terms of Oxtoby's category measures. This leads to a purely topological characterization of hyper-Stonean spaces. For a compact Hausdorff space $K$, we give descriptions of the dual of $C(K)^δ$, the Dedekind completion of the Banach lattice $C(K)$ of continuous, real-valued functions on $K$. We characterize those functionals which are $σ$-order continuous and order continuous, respectively, in terms of Oxtoby's category measures. This leads to a purely topological characterization of hyper-Stonean spaces. △ Less

Submitted 20 February, 2021; originally announced February 2021.

Comments: 10 pages

MSC Class: 46E05; 54G05; 46E27; 54F65

On order continuous duals of vector lattices of continuous functions on resolvable spaces

Authors: Marcel de Jeu, Jan Harm van der Walt

Abstract: A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite union of subsets, in such a way that a given vector lattice of (not necessarily bounded) continuous functions on $X$ separates every point outside the resolving… ▽ More A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite union of subsets, in such a way that a given vector lattice of (not necessarily bounded) continuous functions on $X$ separates every point outside the resolving subset from each of its constituents, then the order continuous dual of this lattice is trivial. In order to apply this result in specific cases, we show that several spaces have resolving subsets that can be written as at most countably infinite unions of closed nowhere dense subsets. An appeal to the main result then yields, for example, that, under appropriate conditions, vector lattices of continuous functions on separable spaces, metric spaces, and topological vector spaces have trivial order continuous duals if they separate points and closed nowhere dense subsets. Our results in this direction extend known results in the literature. We also show that, under reasonably mild separation conditions, vector lattices of continuous functions on locally connected $T_1$ Baire spaces without isolated points have trivial order continuous duals. A discussion of the relation between our results and the non-existence of non-zero normal measures is included. △ Less

Submitted 23 August, 2022; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: Minor changes in presentation; some typos corrected. Final version (28 pages) as has appeared in J. Math. Anal. Appl

MSC Class: 46E05; 47B65; 54D99

Journal ref: J. Math. Anal. Appl. 479 (2019), no.1, 581-607

A Note on the Completeness of Cc(X,Y)

Authors: Jan Harm van der Walt

Abstract: It is known that there are complete, Hausdorff and regular convergence vector spaces X and Y such that Lc(X,Y), the space of continuous linear map**s from X into Y equipped with the continuous convergence structure, is not complete. In this paper, we give sufficient conditions on a convergence vector space Y such that Cc(X,Y) is complete for any convergence space X. In particular, we show that t… ▽ More It is known that there are complete, Hausdorff and regular convergence vector spaces X and Y such that Lc(X,Y), the space of continuous linear map**s from X into Y equipped with the continuous convergence structure, is not complete. In this paper, we give sufficient conditions on a convergence vector space Y such that Cc(X,Y) is complete for any convergence space X. In particular, we show that this is true for every complete and Hausdorff topological vector space Y. △ Less

Submitted 7 April, 2010; originally announced April 2010.

MSC Class: 46A19; 46A32; 46E10

Singularities in Space-time Foam Algebras

Authors: Jan Harm van der Walt

Abstract: In this paper we consider the structure of the singularity sets associated with generalized functions in certain space-time foam algebras of generalized functions. In particular, we consider the algebra that is defined in terms of an asymptotic vanishing condition outside sets of first Baire category. It is shown that this algebra is in fact isomorphic to the earlier closed nowhere dense algebra… ▽ More In this paper we consider the structure of the singularity sets associated with generalized functions in certain space-time foam algebras of generalized functions. In particular, we consider the algebra that is defined in terms of an asymptotic vanishing condition outside sets of first Baire category. It is shown that this algebra is in fact isomorphic to the earlier closed nowhere dense algebras. We also discuss general questions regarding singularities that can be handled in space-time foam algebras. △ Less

Submitted 8 March, 2010; originally announced March 2010.

MSC Class: 46F30; 35Dxx

Beyond Topologies, Part I

Authors: Elemer E Rosinger, Jan Harm van der Walt

Abstract: Arguments on the need, and usefulness, of going beyond the usual Hausdorff-Kuratowski-Bourbaki, or in short, HKB concept of topology are presented. The motivation comes, among others, from well known {\it topological type processes}, or in short TTP-s, in the theories of Measure, Integration and Ordered Spaces. These TTP-s, as shown by the classical characterization given by the {\it four Moore-… ▽ More Arguments on the need, and usefulness, of going beyond the usual Hausdorff-Kuratowski-Bourbaki, or in short, HKB concept of topology are presented. The motivation comes, among others, from well known {\it topological type processes}, or in short TTP-s, in the theories of Measure, Integration and Ordered Spaces. These TTP-s, as shown by the classical characterization given by the {\it four Moore-Smith conditions}, can {\it no longer} be incorporated within the usual HKB topologies. One of the most successful recent ways to go beyond HKB topologies is that developed in Beattie & Butzmann. It is shown in this work how that extended concept of topology is a {\it particular} case of the earlier one suggested and used by the first author in the study of generalized solutions of large classes of nonlinear partial differential equations. △ Less

Submitted 12 January, 2010; originally announced January 2010.

The order completion method for systems of nonlinear PDEs revisited

Authors: J. H. van der Walt

Abstract: In this paper we presents further developments regarding the enrichment of the basic Theory of Order Completion. In particular, spaces of generalized functions are constructed that contain generalized solutions to all systems of continuous, nonlinear PDEs. In terms of the existence and uniqueness results previously obtained for such systems of equations, one may interpret the existence of genera… ▽ More In this paper we presents further developments regarding the enrichment of the basic Theory of Order Completion. In particular, spaces of generalized functions are constructed that contain generalized solutions to all systems of continuous, nonlinear PDEs. In terms of the existence and uniqueness results previously obtained for such systems of equations, one may interpret the existence of generalized solutions presented here as a regularity result. △ Less

Submitted 23 April, 2008; v1 submitted 3 March, 2008; originally announced March 2008.

Report number: UPWT 2008/03 MSC Class: 34A34; 54A20; 06B30; 46E05

Generalized solutions to nonlinear first order Cauchy problems

Authors: Jan Harm van der Walt

Abstract: The recent significant enrichment of the Order Completion Method for nonlinear Systems of PDEs resulted in the global existence of generalized solutions to a large class of such equations. In this paper we investigate the existence and regularity of the generalized solutions to a family of nonlinear first order Cauchy problems. The spaces of generalized solutions are obtained as the completions… ▽ More The recent significant enrichment of the Order Completion Method for nonlinear Systems of PDEs resulted in the global existence of generalized solutions to a large class of such equations. In this paper we investigate the existence and regularity of the generalized solutions to a family of nonlinear first order Cauchy problems. The spaces of generalized solutions are obtained as the completions of suitably constructed uniform convergence spaces. △ Less

Submitted 13 September, 2007; originally announced September 2007.

MSC Class: 35B30; 35F10; 46A19

Solutions of nonlinear PDEs in the completion of uniform convergence spaces

Authors: Jan Harm van der Walt

Abstract: This paper deals with the solution of large classes of systems of nonlinear partial differential equations (PDEs) in spaces of generalized functions that are constructed as the completion of uniform convergence spaces. The existence result for the mentioned systems of equations are obtained as an application of a basic approximation result, which is formulated entirely in terms of usual real val… ▽ More This paper deals with the solution of large classes of systems of nonlinear partial differential equations (PDEs) in spaces of generalized functions that are constructed as the completion of uniform convergence spaces. The existence result for the mentioned systems of equations are obtained as an application of a basic approximation result, which is formulated entirely in terms of usual real valued functions on open subsets of Euclidean n-space. The structure and regularity properties of the solutions are explained at the hand of suitable results relating to the structure of the completion of uniform convergence spaces that are defined as initial structures. In this regard, we include also a detailed discussion of the completion of initial uniform convergence spaces in general. △ Less

Submitted 18 February, 2009; v1 submitted 5 September, 2007; originally announced September 2007.

Report number: UPWT 2007/14 MSC Class: 45A20; 35D05; 35D10

The uniform order convergence structure on ML(X)

Authors: Jan Harm van der Walt

Abstract: The aim of this paper is to set up appropriate uniform convergence spaces in which to reformulate and enrich the Order Completion Method for nonlinear PDEs. In this regard, we consider an appropriate space ML(X) of normal lower semi-continuous functions. The space ML(X)= appears in the ring theory of C(X), and its various extensions, as well as in the theory of nonlinear PDEs. We define a unifor… ▽ More The aim of this paper is to set up appropriate uniform convergence spaces in which to reformulate and enrich the Order Completion Method for nonlinear PDEs. In this regard, we consider an appropriate space ML(X) of normal lower semi-continuous functions. The space ML(X)= appears in the ring theory of C(X), and its various extensions, as well as in the theory of nonlinear PDEs. We define a uniform convergence structure on ML(X) such that the induced convergence structure is the order convergence structure. The uniform convergence space completion of ML(X) is constructed as the set of normal lower semi-continuous functions. It is then shown how these ideas may be applied to solve nonlinear PDEs. In particular, we construct generalized solutions to the Navier-Stokes equations in three spatial dimensions, subject to an initial condition. △ Less

Submitted 19 November, 2007; v1 submitted 21 August, 2007; originally announced August 2007.

Comments: 32 pages

MSC Class: 54A20; 46E05; 06F30

The order completion method for systems of nonlinear PDEs: Pseudo-topological perspectives

Authors: Jan Harm van der Walt

Abstract: By setting up appropriate uniform convergence structures, we are able to reformulate the Order Completion Method of Oberguggenberger and Rosinger in a setting that more closely resembles the usual topological constructions for solving PDEs. As an application, we obtain existence and uniqueness results for the solutions of arbitrary continuous, nonlinear PDEs. By setting up appropriate uniform convergence structures, we are able to reformulate the Order Completion Method of Oberguggenberger and Rosinger in a setting that more closely resembles the usual topological constructions for solving PDEs. As an application, we obtain existence and uniqueness results for the solutions of arbitrary continuous, nonlinear PDEs. △ Less

Submitted 27 June, 2007; originally announced June 2007.

Comments: 18 pages

Report number: UPWT 2007/07 MSC Class: 34A34; 54A20; 06B30; 46E05