English
Related papers

Related papers: Continuity of the Jones' set function $\mathcal{T}…

200 papers

It is shown that a set in product of $n$ metrizable spaces is the discontinuity points set of some separately continuous function if and only if this set can be represented as the union of a sequence of $F_{\sigma}$-sets which are locally…

General Topology · Mathematics 2015-12-29 V. K. Maslyuchenko , V. V. Mykhaylyuk

Godel's theory T can be understood as a theory of the simply-typed lambda calculus that is extended to include the constant 0, the successor function S, and the operator R_tau for primitive recursion on objects of type tau. It is known that…

Logic · Mathematics 2014-10-14 Matthew P. Szudzik

A {\it dynamical system\/} is a pair $(X,\langle T_s\rangle_{s\in S})$, where $X$ is a compact Hausdorff space, $S$ is a semigroup, for each $s\in S$, $T_s$ is a continuous function from $X$ to $X$, and for all $s,t\in S$, $T_s\circ…

Dynamical Systems · Mathematics 2016-08-22 Neil Hindman , Dona Strauss , Luca Q. Zamboni

We prove that a suitably adjusted version of Peter Jones' formula for interpolation by bounded holomorphic functions gives a sharp upper bound for what is known as the constant of interpolation. We show how this leads to precise and…

Complex Variables · Mathematics 2007-05-23 Artur Nicolau , Joaquim Ortega-Cerdà , Kristian Seip

The separately continuity topology is considered and some its properties are investigated. With help of these properties a generalization of Sierpinski theorem on determination of real separately continuous function by its values on an…

General Topology · Mathematics 2016-01-28 V. V. Mykhaylyuk

A $Z$-set in a metric space $X$ is a closed subset $K$ of $X$ such that each map of the Hilbert cube $Q$ into $X$ can uniformly be approximated by maps of $Q$ into $X \setminus K$. The aim of the paper is to show that there exists a functor…

General Topology · Mathematics 2014-11-03 Piotr Niemiec

We will remark an extension of a linear functional on subalgebra of algebra of continuous functions on subset of $\mathbb{R}^n$ which preserves positivity.

Functional Analysis · Mathematics 2016-08-25 Hoàng Phi Dũng

By reformulating a learning process of a set system L as a game between Teacher and Learner, we define the order type of L to be the order type of the game tree, if the tree is well-founded. The features of the order type of L (dim L in…

Logic in Computer Science · Computer Science 2011-06-28 Yohji Akama

We prove two theorems which allow one to recognize indecomposable subcontinua of closed surfaces without boundary. If $X$ is a subcontinuum of a closed surface $S$, we call the components of $S \setminus X$ the complementary domains of $X$.…

General Topology · Mathematics 2010-07-01 Clinton P. Curry

Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We…

Algebraic Geometry · Mathematics 2017-02-28 Krzysztof Jan Nowak

A main object of our study is multiset functions -- that is, permutation-invariant functions over inputs of varying sizes. Deep Sets, proposed by \cite{zaheer2017deep}, provides a \emph{universal representation} for continuous multiset…

Machine Learning · Computer Science 2023-10-24 Puoya Tabaghi , Yusu Wang

A method of proving local continuity of concave functions on convex set possessing the $\mu$-compactness property is presented. This method is based on a special approximation of these functions. The class of $\mu$-compact sets can be…

Functional Analysis · Mathematics 2010-06-22 M. E. Shirokov

The class of $\mu$-compact sets can be considered as a natural extension of the class of compact metrizable subsets of locally convex spaces, to which the particular results well known for compact sets can be generalized. This class…

Functional Analysis · Mathematics 2010-04-23 M. E. Shirokov

In this paper, we first study what we call Superset-Subset-Disjoint (SSD) set system. Based on properties of SSD set system, we derive the following (I) to (IV): (I) For a nonnegative integer $k$ and a graph $G=(V,E)$ with $|V|\ge2$, let…

Data Structures and Algorithms · Computer Science 2024-09-26 Kan Shota , Kazuya Haraguchi

For any compact set $K\subset \mathbb{R}^n$ we develop the theory of Jensen measures and subharmonic peak points, which form the set $\mathcal{O}_K$, to study the Dirichlet problem on $K$. Initially we consider the space $h(K)$ of functions…

Classical Analysis and ODEs · Mathematics 2015-03-17 Tony Perkins

We characterize the continuity of prototypical functionals acting on finite Caccioppoli partitions. In the spirit of the classical Reshetnyak continuity theorem for measures that can be used to prove continuity of surface-type functionals…

Functional Analysis · Mathematics 2016-12-07 Matthias Ruf

This paper considers the problem of characterizing the simplest discrete point sets that are aperiodic, using invariants based on topological dynamics. A Delone set whose patch-counting function N(T), for radius T, is finite for all T is…

Dynamical Systems · Mathematics 2007-05-23 Jeffery C. Lagarias , Peter A. B. Pleasants

For a topological space X, let (RX)s := (RX,Ts) be the cartesian product of |X| copies of the real line R with the topology of the uniform convergence on separable subsets of X. In this article we analyze the subspace C(X) of (RX)s of all…

The concept of decomposition in computer science and engineering is considered a fundamental component of computational thinking and is prevalent in design of algorithms, software construction, hardware design, and more. We propose a simple…

Logic in Computer Science · Computer Science 2023-06-22 Dror Fried , Axel Legay , Joël Ouaknine , Moshe Y. Vardi

We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate…

Logic · Mathematics 2023-06-09 Masato Fujita