Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

bijective en · ADJ

Meanings

  1. (not-comparable, of a function) Associating to each element of the codomain exactly one element of the domain; establishing a perfect (one-to-one) correspondence between the elements of the domain and the codomain; (formally) both injective and surjective.
    • 2012 [Introduction to Graph Theory, McGraw-Hill], Gary Chartrand, Ping Zhang, A First Course in Graph Theory, 2013, Dover, Revised and corrected republication, page 64, The proof that isomorphism is an equivalence relation relies on three fundamental properties of bijective functions (functions that are one-to-one and onto): (1) every identity function is bijective, (2) the inverse of every bijective function is also bijective, (3) the composition of two bijective functions is bijective.
    • 1987, James S. Royer, A Connotational Theory of Program Structure, Springer, LNCS 273, page 15, Then, by a straightforward, computable, bijective numerical coding, this idealized FORTRAN determines an EN. (Note: In this FORTRAN example, we could have omitted restrictions on I/O and instead used a computable, bijective, numerical coding for inputs and outputs to get another EN determined by FORTRAN.)
    • 1993, Susan Montgomery, Hopf Algebras and Their Actions on Rings, American Mathematical Society, CBMS, Regional Conference Series in Mathematics, Number 83, page 124, Recent experience indicates that for infinite-dimensional Hopf algebras, the “right” definition of Galois is to require that β be bijective.
    • 2008, B. Aslan, M. T. Sakalli, E. Bulus, Classifying 8-Bit to 8-Bit S-Boxes Based on Power Mappings, Joachim von zur Gathen, José Luis Imana, Çetin Kaya Koç (editors), Arithmetic of Finite Fields: 2nd International Workshop, Springer, LNCS 5130, page 131, Generally, there is a parallel relation between the maximum differential value and maximum LAT value for bijective S-boxes.
    • An isomorphism is a bijective homomorphism. 2010, Kang Feng, Mengzhao Qin, Symplectic Geometric Algorithms for Hamiltonian Systems, Springer, page 39:
  2. (not-comparable) Having a component that is (specified to be) a bijective map; that specifies a bijective map.
    • Proving the conjecture is equivalent to constructing a PCP that reads 2 symbols and accepts iff these symbols satisfy a bijective constraint. 2002, Proceedings of the 34th Annual ACM Symposium on the Theory of Computing, ACM Press, page 774:

Deriveds

bijective numeration · bijectively · bijectivity · nonbijective

Relateds

bijection · injective · surjective · reversible

Translations (22)

ro bijectiv (both injective and surjective) · fi bijektiivinen (having a bijective map) · ja 全単射の (both injective and surjective) · hu kölcsönösen egyértelmű (both injective and surjective) · el αμφιμονοσήμαντος (both injective and surjective) · es biyectivo (both injective and surjective) · pt bijetivo (both injective and surjective) · de eineindeutig (both injective and surjective) · it biiettivo (both injective and surjective) · it bigettivo (both injective and surjective) · hu bijektív (both injective and surjective) · fi bijektiivinen (both injective and surjective) · nl bijectief (both injective and surjective) · da bijektiv (both injective and surjective) · ga détheilgeach (both injective and surjective) · ca bijectiu (both injective and surjective) · cmn 双射的 (both injective and surjective) · sv bijektiv (both injective and surjective) · cs bijektivní (both injective and surjective) · cmn 一一映射的 (both injective and surjective) · fr bijectif (both injective and surjective) · de bijektiv (both injective and surjective)