Physical Sciences and Mathematics Commons^™

Introduction To The Usu Library Of Solutions To The Einstein Field Equations, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

This is a Maple worksheet providing an introduction to the USU Library of Solutions to the Einstein Field Equations. The library is part of the DifferentialGeometry software project and is a collection of symbolic data and metadata describing solutions to the Einstein equations.

Classification Of Minimal Separating Sets In Low Genus Surfaces, J. J. P. Veerman, William Maxwell, Victor Rielly, Austin K. Williams

Mathematics and Statistics Faculty Publications and Presentations

Consider a surface S and let M ⊂ S. If S \ M is not connected, then we say M separates S, and we refer to M as a separating set of S. If M separates S, and no proper subset of M separates S, then we say M is a minimal separating set of S. In this paper we use computational methods of combinatorial topology to classify the minimal separating sets of the orientable surfaces of genus g = 2 and g = 3. The classification for genus 0 and 1 was done …

Graph Structures In Bipolar Neutrosophic Environment, Florentin Smarandache, Muhammad Akram, Muzzamal Sitara

Branch Mathematics and Statistics Faculty and Staff Publications

A bipolar single-valued neutrosophic (BSVN) graph structure is a generalization of a bipolar fuzzy graph. In this research paper, we present certain concepts of BSVN graph structures. We describe some operations on BSVN graph structures and elaborate on these with examples. Moreover, we investigate some related properties of these operations.

Constructing A Square An Ancient Indian Way Activity, Cynthia J. Huffman Ph.D.

Open Educational Resources - Math

In this activity students use string to model one of the ways that was used in ancient India for constructing a square. The construction was used in building a temporary fire altar. The activity is based on a translation by Sen and Bag of the Baudhāyana-śulba-sūtra.

Euler Construction Activity, Cynthia J. Huffman Ph.D.

Open Educational Resources - Math

Original sources of mathematics provide many opportunities for students to both do mathematics and to improve their problem solving skills. It is also interesting to explore original sources in new ways with the use of technology. In this activity, students can gain experience with dynamic geometry software and enhance their geometric intuition by working through a construction given by Euler in 1783.

Constructing A Square Indian Fire Altar Activity, Cynthia J. Huffman Ph.D.

Open Educational Resources - Math

In this activity, we will model constructing a square fire altar with a method similar to one used by people in ancient India. The fire altars, which were made of bricks, had various shapes. Instructions for building the altars were in Vedic texts called Śulba-sūtras. We will follow instructions for constructing a square gārhapatya fire altar from the Baudhāyana-śulba-sūtra, which was written during the Middle Vedic period, about 800-500 BC.

Statistical Computational Topology And Geometry For Understanding Data, Joshua Lee Mike

Doctoral Dissertations

Here we describe three projects involving data analysis which focus on engaging statistics with the geometry and/or topology of the data.

The first project involves the development and implementation of kernel density estimation for persistence diagrams. These kernel densities consider neighborhoods for every feature in the center diagram and gives to each feature an independent, orthogonal direction. The creation of kernel densities in this realm yields a (previously unavailable) full characterization of the (random) geometry of a dataspace or data distribution.

In the second project, cohomology is used to guide a search for kidney exchange cycles within a kidney paired …

Localization Of Large Scale Structures, Ryan James Jensen

Doctoral Dissertations

We begin by giving the definition of coarse structures by John Roe, but quickly move to the equivalent concept of large scale geometry given by Jerzy Dydak. Next we present some basic but often used concepts and results in large scale geometry. We then state and prove the equivalence of various definitions of asymptotic dimension for arbitrary large scale spaces. Some of these are generalizations of asymptotic dimension for metric spaces, and many of the proofs are new. Particularly useful in proving the equivalences of the various definitions is the notion of partitions of unity, originally set forth by Jerzy …

Generalizations Of Coarse Properties In Large Scale Spaces, Kevin Michael Sinclair

Doctoral Dissertations

Many results in large scale geometry are proven for a metric space. However, there exists many large scale spaces that are not metrizable. We generalize several concepts to general large scale spaces and prove relationships between them. First we look into the concept of coarse amenability and other variations of amenability on large scale spaces. This leads into the definition of coarse sparsification and connections with coarse amenability. From there, we look into an equivalence of Sako's definition of property A on uniformly locally finite spaces and prove that finite coarse asymptotic definition implies it. As well, we define large …

Mathematical Description And Mechanistic Reasoning: A Pathway Toward Stem Integration, Paul J. Weinberg

Journal of Pre-College Engineering Education Research (J-PEER)

Because reasoning about mechanism is critical to disciplined inquiry in science, technology, engineering, and mathematics (STEM) domains, this study focuses on ways to support the development of this form of reasoning. This study attends to how mechanistic reasoning is constituted through mathematical description. This study draws upon Smith’s (2007) characterization of mathematical description of scientific phenomena as ‘‘bootstrapping,’’ where negotiating the relationship between target phenomena and represented relations is fundamental to learning. In addition, the development of mathematical representation presents a viable pathway towards STEM integration. In this study, participants responded to an assessment of mechanistic reasoning while cognitive interviews …

A Compact Introduction To A Generalized Extreme Value Theorem, Nicholas A. Scoville

Topology

In a short paper published just one year prior to his thesis, Maurice Frechet gives a simple generalization one what we might today call the Extreme value theorem. This generalization is a simple matter of coming up with ``the right" definitions in order to make this work. In this mini PSP, we work through Frechet's entire 1.5 page paper to give an extreme value theorem in more general topological spaces, ones which, to use Frechet's newly coined term, are compact.

The Closure Operation As The Foundation Of Topology, Nicholas A. Scoville

Topology

No abstract provided.

An Introduction To Topology For The High School Student, Nathaniel Ferron

Masters Essays

No abstract provided.

Complex Neutrosophic Graphs Of Type 1, Florentin Smarandache, Said Broumi, Assia Bakali, Mohamed Talea

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we introduced a new neutrosophic graphs called complex neutrosophic graphs of type1 (CNG1) and presented a matrix representation for it and studied some properties of this new concept. The concept of CNG1 is an extension of generalized fuzzy graphs of type 1 (GFG1) and generalized single valued neutrosophic graphs of type 1 (GSVNG1).

Conference Program, University Of Dayton

Summer Conference on Topology and Its Applications

Document provides a list of the sessions, speakers, workshops, and committees of the 32nd Summer Conference on Topology and Its Applications.

Turaev Surfaces And Toroidally Alternating Knots, Seungwon Kim

Dissertations, Theses, and Capstone Projects

In this thesis, we study knots and links via their alternating diagrams on closed orientable surfaces. Every knot or link has such a diagram by a construction of Turaev, which is called the Turaev surface of the link. Links that have an alternating diagram on a torus were defined by Adams as toroidally alternating. For a toroidally alternating link, the minimal genus of its Turaev surface may be greater than one. Hence, these surfaces provide different topological measures of how far a link is from being alternating.

First, we classify link diagrams with Turaev genus one and two in terms …

Manifold Convergence: Sewing Sequences Of Riemannian Manifolds With Positive Or Nonnegative Scalar Curvature, Jorge E. Basilio

Dissertations, Theses, and Capstone Projects

In this thesis, we develop a new method of performing surgery on 3-dimensional manifolds called "sewing" and use this technique to construct sequences of Riemannian manifolds with positive or nonnegative scalar curvature. The foundation of our method is a strengthening of the Gromov-Lawson tunnel construction which guarantees the existence of “tiny” and arbitrarily “short” tunnels. We study the limits of sequences of sewn spaces under the Gromov-Hausdorff (GH) and Sormani-Wenger Instrinsic-Flat (SWIF) distances and discuss to what extent the notion of scalar curvature extends to these spaces. We give three applications of the sewing technique to demonstrate that stability theorems …

Intercusp Geodesics And Cusp Shapes Of Fully Augmented Links, Rochy Flint

Dissertations, Theses, and Capstone Projects

We study the geometry of fully augmented link complements in the 3-sphere by looking at their link diagrams. We extend the method introduced by Thistlethwaite and Tsvietkova to fully augmented links and define a system of algebraic equations in terms of parameters coming from edges and crossings of the link diagrams. Combining it with the work of Purcell, we show that the solutions to these algebraic equations are related to the cusp shapes of fully augmented link complements. As an application we use the cusp shapes to study the commensurability classes of fully augmented links.

The Axiom Of Choice In Topology, Ruoxuan Jia

Honors Theses

Cantor believed that properties holding for finite sets might also hold for infinite sets. One such property involves choices; the Axiom of Choice states that we can always form a set by choosing one element from each set in a collection of pairwise disjoint non-empty sets. Since its introduction in 1904, this seemingly simple statement has been somewhat controversial because it is magically powerful in mathematics in general and topology in particular. In this paper, we will discuss some essential concepts in topology such as compactness and continuity, how special topologies such as the product topology and compactification are defined, …

Cohen Reals And The Sequential Order Of Groups, Alexander Shibakov

Summer Conference on Topology and Its Applications

We show that adding uncountably many Cohen reals to a model of diamond results in a model with no countable sequential group with an intermediate sequential order. The same model has an uncountable group of sequential order 2. We also discuss related questions.

On A Construction Of Some Class Of Metric Spaces, Dariusz Bugajewski

Summer Conference on Topology and Its Applications

In this talk we are going to describe Sz´az’s construction of some class of metric spaces. Most of all we will analyze topological properties of metric spaces obtained by using Sz´az’s construction. In particular, we provide necessary and sufficient conditions for completeness of metric spaces obtained in this way. Moreover, we will discuss the relation between Sz´az’s construction and the “linking construction”. A particular attention will be drawn to the “floor” metric, the analysis of which provides some interesting observations.

On Di-Injective T0-Quasi-Metric Spaces, Collins Amburo Agyingi

Summer Conference on Topology and Its Applications

We prove that every q-hyperconvex T0-quasi-metric space (X, d) is di-injective without appealing to Zorn’s lemma. We also demonstrate that QX as constructed by Kemajou et al. and Q(X) (the space of all Katˇetov function pairs on X) are di-injective. Moreover we prove that di-injective T0-quasi-metric spaces do not contain proper essential extensions. Among other results, we state a number of ways in which the the di-injective envelope of a T0-quasi-metric space can be characterized.

Disjoint Infinity Borel Functions, Daniel Hathaway

Summer Conference on Topology and Its Applications

Consider the statement that every uncountable set of reals can be surjected onto R by a Borel function. This is implied by the statement that every uncountable set of reals has a perfect subset. It is also implied by a new statement D which we will discuss: for each real a there is a Borel function f_a : RtoR and for each function g : RtoR there is a countable set G(g) of reals such that the following is true: for each a in R and for each function g : R to R, if f_a is disjoint …

Revelation Of Nano Topology In Cech Rough Closure Spaces, V. Antonysamy, Llellis Thivagar, Arockia Dasan

Summer Conference on Topology and Its Applications

The concept of Cech closure space was initiated and developed by E. Cech in 1966. Henceforth many more research scholars set their minds in this theory and developed it to a new height. Pawlak.Z derived and gave shape to Rough set theory in terms of approximation using equivalence relation known as indiscernibility relation. Further Lellis Thivagar enhanced rough set theory into a topology, called Nano Topology, which has at most five elements in it and he also extended this into multi granular nano topology. The purpose of this paper is to derive Nano topology in terms of Cech rough closure …

Compactness Via Adherence Dominators, Bhamini M. P. Nayar, Terrence A. Edwards, James E. Joseph, Myung H. Kwack

Summer Conference on Topology and Its Applications

This talk is based on a joint work by T. A. Edwards, J. E. Joseph, M. H. Kwack and B. M. P. Nayar that apperared in the Journal of Advanced studies in Topology, Vol. 5 (4), 2014), 8 - 15. B

An adherence dominator on a topological space X is a function π from the collection of filterbases on X to the family of closed subsets of X satisfying A(Ω) ⊆ π(Ω) where A(Ω) is the adherence of Ω. The notations π(Ω) and A(Ω) are used for the values of the functions π and A and π(Ω) =⋂_Ω π F= …

Totally Geodesic Surfaces In Arithmetic Hyperbolic 3-Manifolds, Benjamin Linowitz, Jeffrey S. Meyer

Summer Conference on Topology and Its Applications

In this talk we will discuss some recent work on the problem of determining the extent to which the geometry of an arithmetic hyperbolic 3-manifold M is determined by the geometric genus spectrum of M (i.e., the set of isometry classes of finite area, properly immersed, totally geodesic surfaces of M, considered up to free homotopy). In particular, we will give bounds on the totally geodesic 2-systole, construct infinitely many incommensurable manifolds with the same initial geometric genus spectrum and analyze the growth of the genera of minimal surfaces across commensurability classes. These results have applications to the study of …

Sequential Order Of Compact Scattered Spaces, Alan Dow

Summer Conference on Topology and Its Applications

A space is sequential if the closure of set can be obtained by iteratively adding limits of converging sequences. The sequential order of a space is a measure of how many iterations are required. A space is scattered if every non-empty set has a relative isolated point. It is not known if it is consistent that there is a countable (or finite) upper bound on the sequential order of a compact sequential space. We consider the properties of compact scattered spaces with infinite sequential order.

On The Chogoshvili Homology Theory Of Continuous Maps Of Compact Spaces, Anzor Beridze, Vladimer Baladze

Summer Conference on Topology and Its Applications

In this paper an exact homology functor from the category Mor_C of continuous maps of compact Hausdorff spaces to the category LES of long exact sequences of abelian groups is defined (cf. [2], [3], [5]). This functor is an extension of the Hu homology theory, which is uniquely defined on the category of continuous maps of finite CW complexes and is constructed without the relative homology groups [9]. To define the given homology functor we use the Chogoshvili construction of projective homology theory [7], [8]. For each continuous map f:X → Y of compact spaces, using the notion of …

Some New Completeness Properties In Topological Spaces, Cetin Vural, Süleyman Önal

Summer Conference on Topology and Its Applications

One of the most widely known completeness property is the completeness of metric spaces and the other one being of a topological space in the sense of Cech. It is well known that a metrizable space X is completely metrizable if and only if X is Cech-complete. One of the generalisations of completeness of metric spaces is subcompactness. It has been established that, for metrizable spaces, subcompactness is equivalent to Cech-completeness. Also the concept of domain representability can be considered as a completeness property. In [1], Bennett and Lutzer proved that Cech-complete spaces are domain representable. They also proved, in …

Hausdorff Dimension Of Kuperberg Minimal Sets, Daniel Ingbretson

Summer Conference on Topology and Its Applications

The Seifert conjecture was answered negatively in 1994 by Kuperberg who constructed a smooth aperiodic flow on a three-manifold. This construction was later found to contain a minimal set with a complicated topology. The minimal set is embedded as a lamination by surfaces with a Cantor transversal of Lebesgue measure zero. In this talk we will discuss the pseudogroup dynamics on the transversal, the induced symbolic dynamics, and the Hausdorff dimension of the Cantor set.