Current Search: Reid, Frederick (x)


Title

LatticeValued TFilters and Induced Structures.

Creator

Reid, Frederick, Richardson, Gary, Brennan, Joseph, Han, Deguang, Lang, SheauDong, University of Central Florida

Abstract / Description

A complete lattice is called a frame provided meets distribute over arbitrary joins. The implication operation in this context plays a central role. Intuitively, it measures the degree to which one element is less than or equal to another. In this setting, a category is defined by equipping each set with a Tconvergence structure which is defined in terms of Tfilters. This category is shown to be topological, strongly Cartesian closed, and extensional. It is well known that the category of...
Show moreA complete lattice is called a frame provided meets distribute over arbitrary joins. The implication operation in this context plays a central role. Intuitively, it measures the degree to which one element is less than or equal to another. In this setting, a category is defined by equipping each set with a Tconvergence structure which is defined in terms of Tfilters. This category is shown to be topological, strongly Cartesian closed, and extensional. It is well known that the category of topological spaces and continuous maps is neither Cartesian closed nor extensional.Subcategories of compact and of complete spaces are investigated. It is shown that each Tconvergence space has a compactification with the extension property provided the frame is a Boolean algebra. TCauchy spaces are defined and sufficient conditions for the existence of a completion are given. Tuniform limit spaces are also defined and their completions are given in terms of the TCauchy spaces they induce. Categorical properties of these subcategories are also investigated. Further, for a fixed Tconvergence space, under suitable conditions, it is shown that there exists an order preserving bijection between the set of all strict, regular, Hausdorff compactifications and the set of all totally bounded TCauchy spaces which induce the fixed space.
Show less

Date Issued

2019

Identifier

CFE0007520, ucf:52586

Format

Document (PDF)

PURL

http://purl.flvc.org/ucf/fd/CFE0007520