Search results for " set"

showing 10 items of 2095 documents

The fractal interpolation for countable systems of data

2003

In this paper we will extend the fractal interpolation from the finite case to the case of countable sets of data. The main result is that, given an countable system of data in [a, b] ? Y, where [a, b] is a real interval and Y a compact and arcwise connected metric space, there exists a countable iterated function system whose attractor is the graph of a fractal interpolation function.

Discrete mathematicsMetric spaceFractalIterated function systemGeneral MathematicsAttractorMathematics::General TopologyCountable setSecond-countable spaceCosmic spaceInterpolationMathematicsPublikacije Elektrotehnickog fakulteta - serija: matematika
researchProduct

Meir-Keeler Type Contractions for Tripled Fixed Points

2012

Abstract In 2011, Berinde and Borcut [6] introduced the notion of tripled fixed point in partially ordered metric spaces. In our paper, we give some new tripled fixed point theorems by using a generalization of Meir-Keeler contraction.

Discrete mathematicsMetric spaceSettore MAT/05 - Analisi MatematicaGeneralizationGeneral MathematicsMathematics::General TopologyGeneral Physics and AstronomyFixed-point theoremTripled fixed point theorems Meir-Keeler type contractions partially ordered sets.Type (model theory)Fixed pointPartially ordered setMathematicsActa Mathematica Scientia
researchProduct

Shadow trees of Mandelbrot sets

2003

Discrete mathematicsMisiurewicz pointAlgebra and Number TheoryShadowExternal rayMandelbrot setComplex quadratic polynomialMandelboxMathematicsFundamenta Mathematicae
researchProduct

The Rotation χ-Lattice of Ternary Trees

2001

This paper generalizes to k-ary trees the well-known rotation transformation on binary trees. For brevity, only the ternary case is developped. The rotation on ternary trees is characterized using some codings of trees. Although the corresponding poset is not a lattice, we show that it is a χ-lattice in the sense of Leutola–Nieminen. Efficient algorithms are exhibited to compute meets and joins choosen in a particular way.

Discrete mathematicsNumerical AnalysisBinary treeTernary treeWeight-balanced treeComputer Science ApplicationsTheoretical Computer ScienceCombinatoricsComputational MathematicsComputational Theory and MathematicsTernary search treeTernary operationTamari latticePartially ordered setRotation (mathematics)SoftwareMathematicsComputing
researchProduct

General inductive inference types based on linearly-ordered sets

1996

In this paper, we reconsider the definitions of procrastinating learning machines. In the original definition of Freivalds and Smith [FS93], constructive ordinals are used to bound mindchanges. We investigate the possibility of using arbitrary linearly ordered sets to bound mindchanges in a similar way. It turns out that using certain ordered sets it is possible to define inductive inference types more general than the previously known ones. We investigate properties of the new inductive inference types and compare them to other types.

Discrete mathematicsOrdered setRecursive functionsInductive reasoningConstructiveMaximal elementMathematics
researchProduct

Graphs of stable maps from closed surfaces to the projective plane

2018

Abstract We describe how to attach a weighted graph to each stable map from closed surfaces to projective plane and prove that any weighted graph with non negatively weighted vertices is the graph of some stable map from a closed surface to the projective plane.

Discrete mathematicsPlane curve010102 general mathematicsLine at infinity01 natural sciencesPlanar graph010101 applied mathematicsCombinatoricssymbols.namesakeBlocking setReal projective planesymbolsProjective spaceGeometry and TopologyProjective plane0101 mathematicsPencil (mathematics)MathematicsTopology and its Applications
researchProduct

On the solutions to 1-Laplacian equation with L1 data

2009

AbstractIn the present paper we study the behaviour, as p goes to 1, of the renormalized solutions to the problems(0.1){−div(|∇up|p−2∇up)=finΩ,up=0on∂Ω, where p>1, Ω is a bounded open set of RN (N⩾2) with Lipschitz boundary and f belongs to L1(Ω). We prove that these renormalized solutions pointwise converge, up to “subsequences,” to a function u. With a suitable definition of solution we also prove that u is a solution to a “limit problem.” Moreover we analyze the situation occurring when more regular data f are considered.

Discrete mathematicsPointwise1-Laplace operatorRenormalized solutionsOpen setBoundary (topology)Function (mathematics)Nonlinear elliptic equationsLipschitz continuityRenormalized solutionBounded functionSummable dataLimit (mathematics)L1-data1Laplce operatorLaplace operatorAnalysisMathematicsJournal of Functional Analysis
researchProduct

General aggregation operators based on a fuzzy equivalence relation in the context of approximate systems

2016

Our paper deals with special constructions of general aggregation operators, which are based on a fuzzy equivalence relation and provide upper and lower approximations of the pointwise extension of an ordinary aggregation operator. We consider properties of these approximations and explore their role in the context of extensional fuzzy sets with respect to the corresponding equivalence relation. We consider also upper and lower approximations of a t-norm extension of an ordinary aggregation operator. Finally, we describe an approximate system, considering the lattice of all general aggregation operators and the lattice of all fuzzy equivalence relations.

Discrete mathematicsPointwiseLogic05 social sciencesFuzzy set050301 educationContext (language use)02 engineering and technologyExtension (predicate logic)Lattice (discrete subgroup)Operator (computer programming)Artificial Intelligence0202 electrical engineering electronic engineering information engineeringEquivalence relationApplied mathematics020201 artificial intelligence & image processing0503 educationOrdered weighted averaging aggregation operatorMathematicsFuzzy Sets and Systems
researchProduct

A Polynomial Quantum Query Lower Bound for the Set Equality Problem

2004

The set equality problem is to tell whether two sets A and B are equal or disjoint under the promise that one of these is the case. This problem is related to the Graph Isomorphism problem. It was an open problem to find any ω(1) query lower bound when sets A and B are given by quantum oracles. We will show that any error-bounded quantum query algorithm that solves the set equality problem must evaluate oracles \(\Omega(\sqrt[5]{\frac{n}{\ln n}})\) times, where n=|A|=|B|.

Discrete mathematicsPolynomial (hyperelastic model)CombinatoricsOpen problemGraph isomorphism problemTheoryofComputation_GENERALCollision problemQuantum algorithmDisjoint setsIsomorphismUpper and lower boundsMathematics
researchProduct

Nonlinear embeddings: Applications to analysis, fractals and polynomial root finding

2016

We introduce $\mathcal{B}_{\kappa}$-embeddings, nonlinear mathematical structures that connect, through smooth paths parameterized by $\kappa$, a finite or denumerable set of objects at $\kappa=0$ (e.g. numbers, functions, vectors, coefficients of a generating function...) to their ordinary sum at $\kappa \to \infty$. We show that $\mathcal{B}_{\kappa}$-embeddings can be used to design nonlinear irreversible processes through this connection. A number of examples of increasing complexity are worked out to illustrate the possibilities uncovered by this concept. These include not only smooth functions but also fractals on the real line and on the complex plane. As an application, we use $\mat…

Discrete mathematicsPolynomialGeneral MathematicsApplied MathematicsGeneral Physics and AstronomyParameterized complexityFOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Pattern Formation and Solitons (nlin.PS)Nonlinear Sciences - Pattern Formation and Solitons01 natural sciencesNonlinear Sciences - Adaptation and Self-Organizing Systems010305 fluids & plasmasProperties of polynomial rootsNonlinear system0103 physical sciencesCountable setConnection (algebraic framework)010306 general physicsComplex planeReal lineAdaptation and Self-Organizing Systems (nlin.AO)Mathematical PhysicsMathematics
researchProduct