NUMBER SYSTEMS WITH SIMPLICITY HIERARCHIES: A GENERALIZATION OF CONWAY’S THEORY OF SURREAL NUMBERS II

2018 ◽  
Vol 83 (2) ◽  
pp. 617-633
Author(s):  
PHILIP EHRLICH ◽  
ELLIOT KAPLAN
Keyword(s):  
Abelian Groups ◽  
Sufficient Conditions ◽  
Integer Part ◽  
Ordered Field ◽  
Number Systems ◽  
Ordered Fields ◽  
Image Position ◽  
Necessary And Sufficient ◽  
Class Models ◽  
Surreal Numbers

AbstractIn [16], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway’s ordered field ${\bf{No}}$ of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field to be isomorphic to an initial subfield of ${\bf{No}}$, i.e., a subfield of ${\bf{No}}$ that is an initial subtree of ${\bf{No}}$. In this sequel to [16], analogous results for ordered abelian groups and ordered domains are established which in turn are employed to characterize the convex subgroups and convex subdomains of initial subfields of ${\bf{No}}$ that are themselves initial. It is further shown that an initial subdomain of ${\bf{No}}$ is discrete if and only if it is a subdomain of ${\bf{No}}$’s canonical integer part ${\bf{Oz}}$ of omnific integers. Finally, making use of class models the results of [16] are extended by showing that the theories of nontrivial divisible ordered abelian groups and real-closed ordered fields are the sole theories of nontrivial densely ordered abelian groups and ordered fields all of whose models are isomorphic to initial subgroups and initial subfields of ${\bf{No}}$.

scholarly journals Topological entropy in totally disconnected locally compact groups

2016 ◽  
Vol 37 (7) ◽  
pp. 2163-2186 ◽  
Author(s):  
ANNA GIORDANO BRUNO ◽  
SIMONE VIRILI
Keyword(s):  
Topological Entropy ◽  
Sufficient Conditions ◽  
Invariant Subgroup ◽  
Locally Compact Groups ◽  
Compact Groups ◽  
Locally Compact ◽  
Image Position ◽  
Necessary And Sufficient ◽  
Totally Disconnected ◽  
Dynamical Interpretation

Let $G$ be a topological group, let $\unicode[STIX]{x1D719}$ be a continuous endomorphism of $G$ and let $H$ be a closed $\unicode[STIX]{x1D719}$-invariant subgroup of $G$. We study whether the topological entropy is an additive invariant, that is, $$\begin{eqnarray}h_{\text{top}}(\unicode[STIX]{x1D719})=h_{\text{top}}(\unicode[STIX]{x1D719}\restriction _{H})+h_{\text{top}}(\bar{\unicode[STIX]{x1D719}}),\end{eqnarray}$$ where $\bar{\unicode[STIX]{x1D719}}:G/H\rightarrow G/H$ is the map induced by $\unicode[STIX]{x1D719}$. We concentrate on the case when $G$ is totally disconnected locally compact and $H$ is either compact or normal. Under these hypotheses, we show that the above additivity property holds true whenever $\unicode[STIX]{x1D719}H=H$ and $\ker (\unicode[STIX]{x1D719})\leq H$. As an application, we give a dynamical interpretation of the scale $s(\unicode[STIX]{x1D719})$ by showing that $\log s(\unicode[STIX]{x1D719})$ is the topological entropy of a suitable map induced by $\unicode[STIX]{x1D719}$. Finally, we give necessary and sufficient conditions for the equality $\log s(\unicode[STIX]{x1D719})=h_{\text{top}}(\unicode[STIX]{x1D719})$ to hold.

scholarly journals Algebraic entropies, Hopficity and co-Hopficity of direct sums of Abelian Groups

2015 ◽  
Vol 3 (1) ◽  
Author(s):  
Brendan Goldsmith ◽  
Ketao Gong
Keyword(s):  
Abelian Groups ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Direct Sums ◽  
Direct Sum ◽  
Zero Entropy ◽  
Necessary And Sufficient

AbstractNecessary and sufficient conditions to ensure that the direct sum of two Abelian groups with zero entropy is again of zero entropy are still unknown; interestingly the same problem is also unresolved for direct sums of Hopfian and co-Hopfian groups.We obtain sufficient conditions in some situations by placing restrictions on the homomorphisms between the groups. There are clear similarities between the various cases but there is not a simple duality involved.

Moving Weighted Averages

1993 ◽  
Vol 45 (3) ◽  
pp. 449-469 ◽  
Author(s):  
M. A. Akcoglu ◽  
Y. Déniel
Keyword(s):  
Weight Function ◽  
Sufficient Conditions ◽  
Nonnegative Function ◽  
Finite Measure ◽  
Weight Functions ◽  
Ergodic Averages ◽  
Fixed Weight ◽  
Finite Measure Space ◽  
Image Position ◽  
Necessary And Sufficient

AbstractLet ℝ denote the real line. Let {Tt}tєℝ be a measure preserving ergodic flow on a non atomic finite measure space (X, ℱ, μ). A nonnegative function φ on ℝ is called a weight function if ∫ℝ φ(t)dt = 1. Consider the weighted ergodic averagesof a function f X —> ℝ, where {θk} is a sequence of weight functions. Some sufficient and some necessary and sufficient conditions are given for the a.e. convergence of Akf, in particular for a special case in whichwhere φ is a fixed weight function and {(ak, rk)} is a sequence of pairs of real numbers such that rk > 0 for all k. These conditions are obtained by a combination of the methods of Bellow-Jones-Rosenblatt, developed to deal with moving ergodic averages, and the methods of Broise-Déniel-Derriennic, developed to deal with unbounded weight functions.

scholarly journals Sufficient conditions for matchings

1972 ◽  
Vol 18 (2) ◽  
pp. 129-136 ◽  
Author(s):  
Ian Anderson
Keyword(s):  
Simple Proof ◽  
Perfect Matching ◽  
Sufficient Conditions ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Number Of Components ◽  
Image Position ◽  
Necessary And Sufficient

A graph G is said to possess a perfect matching if there is a subgraph of G consisting of disjoint edges which together cover all the vertices of G. Clearly G must then have an even number of vertices. A necessary and sufficient condition for G to possess a perfect matching was obtained by Tutte (3). If S is any set of vertices of G, let p(S) denote the number of components of the graph G – S with an odd number of vertices. Then the conditionis both necessary and sufficient for the existence of a perfect matching. A simple proof of this result is given in (1).

On the rate of convergence of probabilities of moderate deviations

1970 ◽  
Vol 11 (1) ◽  
pp. 91-94 ◽  
Author(s):  
V. K. Rohatgi
Keyword(s):  
Sufficient Conditions ◽  
Moderate Deviations ◽  
Independent Random Variables ◽  
Standard Normal Distribution ◽  
Positive Real ◽  
Moment Conditions ◽  
Standard Normal ◽  
Image Position ◽  
Necessary And Sufficient ◽  
Asymptotic Forms

Let {Xn: n ≧ 1} be a sequence of independent random variables and write Letand let . Suppose that converges in law to the standard normal distribution (see [5, 280] for necessary and sufficient conditions). Let {xn} be a monotonic sequence of positive real numbers such that xn → ∞ as n → ∞. Then as n → ∞ for all ε > 0. [6] Rubin and Sethuraman call probabilities of the form probabilities of moderate deviations and obtain asymptotic forms for such probabilities under appropriate moment conditions.

Necessary and sufficient conditions for asymptotic decay of oscillations in delayed functional equations

1981 ◽  
Vol 91 (1-2) ◽  
pp. 135-145
Author(s):  
Lu-San Chen ◽  
Cheh-Chih Yeh
Keyword(s):  
Differential Operator ◽  
Functional Equations ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Oscillatory Solutions ◽  
Asymptotic Decay ◽  
Image Position ◽  
Necessary And Sufficient

SynopsisThis paper studies the equationwhere the differential operator Ln is defined byand a necessary and sufficient condition that all oscillatory solutions of the above equation converge to zero asymptotically is presented. The results obtained extend and improve previous ones of Kusano and Onose, and Singh, even in the usual case wherewhere N is an integer with l≦N≦n–1.

Characterization of isochronous foci for planar analytic differential systems

2005 ◽  
Vol 135 (5) ◽  
pp. 985-998 ◽  
Author(s):  
Jaume Giné ◽  
Maite Grau
Keyword(s):  
Critical Point ◽  
Analytic Functions ◽  
Autonomous Systems ◽  
Sufficient Conditions ◽  
Two Dimensional ◽  
Differential Systems ◽  
Systems Of Differential Equations ◽  
Image Position ◽  
Necessary And Sufficient

We consider the two-dimensional autonomous systems of differential equations of the form where P(x,y) and Q(x,y) are analytic functions of order greater than or equal to 2. These systems have a focus at the origin if λ ≠ 0, and have either a centre or a weak focus if λ = 0. In this work we study the necessary and sufficient conditions for the existence of an isochronous critical point at the origin. Our result is, to the best of our knowledge, original when applied to weak foci and gives known results when applied to strong foci or to centres.

A star-shaped condition for stability of linear retarded functional differential equations†

1979 ◽  
Vol 83 (3-4) ◽  
pp. 189-198 ◽  
Author(s):  
Richard Silkowski
Keyword(s):  
Asymptotic Stability ◽  
Linear Functional ◽  
Functional Differential Equations ◽  
Sufficient Conditions ◽  
Retarded Functional Differential Equations ◽  
Region Of Stability ◽  
Linear Functional Differential Equation ◽  
Functional Differential ◽  
Image Position ◽  
Necessary And Sufficient

SYNOPSISSufficient conditions are developed for asymptotic stability of the autonomous linear functional differential equation of retarded type. If the asymptotic stability ofimplies the asymptotic stability ofthen these conditions are also necessary. Necessary and sufficient conditions are developed for the largest cone in the region of stability. These results are illustrated with the example

On the Hausdorff and Trigonometric Moment Problems

1961 ◽  
Vol 13 ◽  
pp. 454-461
Author(s):  
P. G. Rooney
Keyword(s):  
Moment Problem ◽  
Closed Interval ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Functions Of Bounded Variation ◽  
Moment Problems ◽  
Image Position ◽  
Necessary And Sufficient ◽  
Hausdorff Moment Problem

Let K be a subset of BV(0, 1)—the space of functions of bounded variation on the closed interval [0, 1]. By the Hausdorff moment problem for K we shall mean the determination of necessary and sufficient conditions that corresponding to a given sequence μ = {μn|n = 0, 1, 2, …} there should be a function α ∈ K so that(1)For various collections K this problem has been solved—see (3, Chapter III)By the trigonometric moment problem for K we shall mean the determination of necessary and sufficient conditions that corresponding to a sequence c = {cn|n = 0, ± 1, ± 2, …} there should be a function α ∈ K so that(2)For various collections K this problem has also been solved—see, for example (4, Chapter IV, § 4). It is noteworthy that these two problems have been solved for essentially the same collections K.

Coefficient Regions for Univalent Trinomials

1980 ◽  
Vol 32 (1) ◽  
pp. 1-20 ◽  
Author(s):  
Q. I. Rahman ◽  
J. Waniurski
Keyword(s):  
Unit Disk ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Image Position ◽  
Necessary And Sufficient

The problem of determining necessary and sufficient conditions bearing upon the numbers a2 and a3 in order that the polynomial z + a2z2 + a3z3 be univalent in the unit disk |z| < 1 was solved by Brannan ([3], [4]) and by Cowling and Royster [6], at about the same time. For his investigation Brannan used the following result due to Dieudonné [7] and the well-known Cohn rule [9].THEOREM A (Dieudonné criterion). The polynomial1is univalent in |z| < 1 if and only if for every Θ in [0, π/2] the associated polynomial2does not vanish in |z| < 1. For Θ = 0, (2) is to be interpreted as the derivative of (1).The procedure of Cowling and Royster was based on the observation that is univalent in |z| < 1 if and only if for all α such that 0 ≧ |α| ≧ 1, α ≠ 1 the functionis regular in the unit disk.

Sign in / Sign up

Export Citation Format

Share Document