Related papers: Internal sets and internal functions in Colombeau …
We study some properties of smoothing kernels and their local expression as they appear in the construction of Colombeau-type generalized function algebras which are diffeomorphism invariant.
We consider a semi-algebraic function defined on a closed semi-algebraic set X. We give formulas relating the topology of X to the indices of the critical points of the function and to the topological behavior of the function at infinity.…
We consider the covering of a ball in certain normed spaces by its congruent subsets and show that if the finite number of sets is not greater than the dimensionality of the space, then the centre of the ball either belongs to the interior…
We study symplectic linear algebra over the ring $\Rt$ of Colombeau generalized numbers. Due to the algebraic properties of $\Rt$ it is possible to preserve a number of central results of classical symplectic linear algebra. In particular,…
We provide some applications of a polynomial criterion for difference sets. These include counting the difference sets with specified parameters in terms of Hilbert functions, in particular a count of bent functions. We also consider the…
In this paper we look at normed spaces of differentiable functions on compact plane sets, including the spaces of infinitely differentiable functions originally considered by Dales and Davie. For many compact plane sets the classical…
The theory of distributions provides generalized solutions for problems which do not have a classical solution. However, there are problems which do not have solutions, not even in the space of distributions. As model problem you may think…
We consider a typical integration of induction in saturation-based theorem provers and investigate the effects of Skolem symbols occurring in the induction formulas. In a practically relevant setting we establish a Skolem-free…
Starting from pseudometrics and preorders on sets of integers, we extend the focus to sets of finite sequences of integers, in particular sequences of consecutive integers. We outline existing concepts for deriving centred pseudometrics and…
The paper discuss the limit point concept of a subset in a group via ideal of the power set ring. This idea along with anti-ideal give the topological structure in a group. Homomorphic images of both ideal and anti-ideal are played the…
A topological measure on a locally compact space is a set function on open and closed subsets which is finitely additive on the collection of open and compact sets, inner regular on open sets, and outer regular on closed sets. Almost all…
We use a new idea to construct a theory of iterated Coleman functions in higher dimensions than 1. A Coleman function in this theory consists of a unipotent differential equation, a section on the underlying bundle and a solution to the…
In this paper, we consider certain topological properties along with certain types of mappings on these spaces defined by the notion of ideal convergence. In order to do that, we primarily follow in the footsteps of the earlier studies of…
In this paper we introduce the concept of completeness of sets. We study this property on the set of integers. We examine how this property is preserved as we carry out various operations compatible with sets. We also introduce the problem…
Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$…
We construct uncountably generated algebras inside the following sets of special functions: Sierpi\'nski-Zygmund functions, perfectly everywhere surjective functions and nowhere continuous Darboux functions. All conclusions obtained in this…
We solve a functional equation connected to the algebraic characterization of generalized information functions. To prove the symmetry of the solution, we study a related system of functional equations, which involves two homographies.…
In this paper we introduce Hausdorff locally convex algebra topologies on subalgebras of the whole algebra of nonlinear generalized functions. These topologies are strong duals of Fr\'echet-Schwartz space topologies and even strong duals of…
It is well-known that entire functions whose spectrum belongs to a fixed bounded set $S$ admit real uniformly discrete uniqueness sets $\Lambda$. We show that the same is true for much wider spaces of continuous functions. In particular,…
In this article, we define a very important sequence of functions, all the functions of this sequence present behaviors very close to that of the Collatz function. The study of such functions allows us to obtain very interesting results…