Sorting Operators for Finite Sequences

Summary. Two kinds of sorting operators, descendent one and ascendent one are introduced for finite sequences of reals. They are also called rearrangement of finite sequences of reals. Maximum and minimum values of finite sequences of reals are also defined. We also discuss relations between these concepts.

[1]  Czeslaw Bylinski.  Functions from a Set to a Set , 2004 .

[2]  Yatsuka Nakamura,et al.  A Mathematical Model of CPU , 1992 .

[3]  Konrad Raczkowski.  Integer and Rational Exponents , 1991 .

[4]  A. Trybulec.  Tarski Grothendieck Set Theory , 1990 .

[5]  Czeslaw Bylinski.  Functions and Their Basic Properties , 2004 .

[6]  Wojciech A. Trybulec.  Binary Operations on Finite Sequences , 1990 .

[7]  Wojciech A. Trybulec.  Pigeon Hole Principle , 1990 .

[8]  Yoshinori Fujisawa.  Euler ’ s Theorem and Small Fermat ’ s Theorem , 1998 .

[9]  Nagano Wakasato,et al.  Trigonometric Functions and Existence of Circle Ratio , 1998 .

[10]  Grzegorz Zwara,et al.  The Divisibility of Integers and Integer Relatively Primes 1 , 1990 .

[11]  Ulrich W. Kulisch,et al.  Evaluation of Polynomials , 1995 .

[12]  Mariusz Żynel,et al.  The Steinitz Theorem and the Dimension of a Vector Space , 1995 .

[13]  Artur Korni.  On the Composition of Macro Instructions of Standard Computers , 2002 .

[14]  Andrzej Trybulec,et al.  Semilattice Operations on Finite Subsets , 1990 .

[15]  B. Arneson,et al.  Primitive Roots of Unity and Cyclotomic Polynomials 1 , 2004 .

[16]  Grzegorz Bancerek,et al.  Sequences of Ordinal Numbers , 1990 .

[17]  Beata Padlewska,et al.  Families of Sets , 1990 .

[18]  Konrad Raczkowski,et al.  Topological Properties of Subsets in Real Numbers , 1990 .

[19]  Trigonometric Form of Complex Numbers , 2004 .

[20]  Grzegorz Bancerek,et al.  Zermelo Theorem and Axiom of Choice , 1990 .

[21]  J. Eve.  The evaluation of polynomials , 1964 .

[22]  The Hahn Banach Theorem in the Vector Space over the Field of Complex Numbers , 2004 .

[23]  Horst Herrlich,et al.  Galois Connections , 1985, Mathematical Foundations of Programming Semantics.

[24]  Andrzej Trybulec,et al.  Many-sorted Sets , 1993 .

[25]  Agata Darmochwa,et al.  Similarity of Formulae , 2004 .

[26]  Andrzej Trybulec,et al.  Function Domains and Frænkel Operator , 1990 .

[27]  A. Zalewska,et al.  Properties of Binary Relations , 1990 .

[28]  Jan Popio,et al.  Real Normed Space , 1991 .

[29]  Wojciech A. Trybulec.  Linear Combinations in Real Linear Space , 1990 .

[30]  Andrzej Trybulec,et al.  Tuples, Projections and Cartesian Products , 1990 .

[31]  Field of the complex numbers , 2005 .

[32]  G. Bancerek,et al.  Ordinal Numbers , 2003 .

[33]  Grzegorz Bancerek,et al.  The Well Ordering Relations , 1990 .

[34]  Czesław Bylí.  Finite Sequences and Tuples of Elements of a Non-empty Sets , 1990 .

[35]  John Reade.  Fundamental theorem of algebra , 2003 .

[36]  Czeslaw Bylinski.  Some Basic Properties of Sets , 2004 .

[37]  Wojciech A. Trybulec.  Subgroup and Cosets of Subgroups , 1990 .

[38]  Jaros law Kotowicz,et al.  Convergent Real Sequences . Upper and Lower Bound of Sets of Real Numbers , 1989 .

[39]  Edmund Woronowicz.  Relations and Their Basic Properties , 2004 .

[40]  Grzegorz Bancerek,et al.  Segments of Natural Numbers and Finite Sequences , 1990 .

[41]  Grzegorz Bancerek,et al.  Directed Sets, Nets, Ideals, Filters, and Maps 1 , 1997 .

[42]  Czeslaw Bylinski.  The Sum and Product of Finite Sequences of Real Numbers , 1990 .

[43]  Adam Grabowski,et al.  Boolean Posets, Posets under Inclusion and Products of Relational Structures 1 , 1997 .

[44]  Piotr Rudnicki,et al.  Multivariate Polynomials with Arbitrary Number of Variables 1 , 2004 .

[45]  J. Harrison.  Formalized Mathematics , 1996 .

[46]  Jan Popio.  Introduction to Banach and Hilbert Spaces - Part I , 1991 .

[47]  Czeslaw Bylinski,et al.  Basic Functions and Operations on Functions , 1989 .

[48]  Czeslaw Bylinski,et al.  Bounding Boxes for Compact Sets in E 2 , 1997 .

[49]  Adam Grabowski,et al.  On the Category of Posets , 1996 .

[50]  Jarosław Kotowicz.  Real Sequences and Basic Operations on Them , 2004 .

[51]  G. Bancerek.  Konig's Theorem , 1990 .

[52]  Wojciech A. Trybulec.  Vectors in Real Linear Space , 1990 .

[53]  Yatsuka Nakamura,et al.  The Topological Space E 2 T . Arcs , Line Segments and Special Polygonal Arcs , 2004 .

[54]  T. W. Körner,et al.  On the Fundamental Theorem of Algebra , 2006, Am. Math. Mon..

[55]  Henk C. A. van Tilborg.  Chinese Remainder Theorem , 2005, Encyclopedia of Cryptography and Security.

[56]  Wojciech A. Trybulec.  Commutator and Center of a Group , 1991 .

[57]  Krzysztof Hryniewiecki,et al.  Basic Properties of Real Numbers , 2004 .

[58]  Andrzej Trybulec,et al.  Binary Operations Applied to Functions , 1990 .

[59]  Edmund Woronowicz.  Relations Defined on Sets , 1990 .

[60]  Wojciech A. Trybulec.  Classes of Conjugation. Normal Subgroups , 1990 .

[61]  Louis C. Karpinski,et al.  Introduction to arithmetic , 1972 .

[62]  Wojciech A. Trybulec.  Subspaces and Cosets of Subspaces in Real Linear Space , 1990 .

[63]  Kenneth Halpern August.  The Cardinal Numbers , 1888, Nature.

[64]  Jaroslaw Kotowicz,et al.  Functions and finite sequences of real numbers , 1993 .

[65]  J. Kieran,et al.  Introduction to Trees , 1960 .

[66]  Katarzyna Zawadzka,et al.  Sum and Product of Finite Sequences of Elements of a Field , 1992 .

[67]  W. Kellaway,et al.  Complex Numbers , 2019, AMS/MAA Textbooks.

[68]  Konrad Raczkowski,et al.  Equivalence Relations and Classes of Abstraction 1 , 1990 .

[69]  Y. Shidama,et al.  Real Linear Space of Real Sequences Noboru Endou Gifu , 2004 .

[70]  Ben Dushnik,et al.  Partially Ordered Sets , 1941 .

[71]  G. Bancerek.  The Fundamental Properties of Natural Numbers , 1990 .

[72]  Jozef Bia,et al.  Group and Field Definitions , 1990 .

[73]  Yatsuka Nakamura,et al.  Some Remarks on the Simple Concrete Model of Computer , 2004 .

[74]  Takashi Mitsuishi.  The Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation , 2004 .

[75]  Agata Darmochwa,et al.  Topological Spaces and Continuous Functions , 1990 .

[76]  Andrzej Trybulec,et al.  On the Sets Inhabited by Numbers 1 , 2003 .

[77]  A. Kondracki.  Basic Properties of Rational Numbers , 1990 .

[78]  Yasushi Tanaka,et al.  On the Decomposition of the States of SCM , 1996 .

[79]  Henryk Oryszczyszyn,et al.  Real Functions Spaces , 1999 .

[80]  A. Trybulec.  Domains and Their Cartesian Products , 1990 .

[81]  Nagano Katsumi Wasaki.  Scalar Multiple of Riemann Definite Integral , 2004 .

[82]  Jarosław Kotowicz,et al.  Convergent Sequences and the Limit of Sequences , 2004 .

[83]  Czesław Bylí,et al.  A Classical First Order Language , 1990 .

[84]  Micha l Muzalewski.  Construction of Rings and Left-, Right-, and Bi-Modules over a Ring , 1990 .

[85]  Grzegorz Bancerek,et al.  Bounds in Posets and Relational Substructures 1 , 1997 .

[86]  Eugeniusz Kusak.  Abelian Groups, Fields and Vector Spaces 1 , 1990 .

[87]  B. Arneson.  Witt ’ s Proof of the Wedderburn Theorem 1 , 2004 .