List of lemmas (original) (raw)
This following is a list of lemmas (or, "lemmata", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures.
| Property | Value | |
|---|---|---|
| dbo:abstract | This following is a list of lemmas (or, "lemmata", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. * Abel's lemma (mathematical series) * Abhyankar's lemma (algebraic geometry) * Archimedes's lemmas (euclidean geometry) * Artin–Rees lemma (commutative algebra) * Aubin–Lions lemma * Barbalat's lemma (dynamical systems) * Berge's lemma (graph theory) * Bézout's lemma (number theory) * Bhaskara's lemma (Diophantine equations) * Borel's lemma (partial differential equations) * Borel–Cantelli lemma (probability theory) * Bramble–Hilbert lemma (numerical analysis) * Burnside's lemma also known as the Cauchy–Frobenius lemma (group theory) * Céa's lemma (numerical analysis) * Closed map lemma (topology) * Cotlar–Stein lemma (functional analysis) * Cousin's lemma (integrals) * Covering lemma (set theory) * Craig interpolation lemma (mathematical logic) * Crossing lemma (knot theory, graph theory) * Danielson–Lanczos lemma (Fourier transforms) * Dehn's lemma (geometric topology) * Delta lemma (set theory) * Diagonal lemma (mathematical logic) * Dickson's lemma (combinatorics) * Doob–Dynkin lemma (probability theory) * Dwork's lemma (number theory) * Dynkin lemma (set theory) * Ehrling's lemma (functional analysis) * Ellis–Numakura lemma (topological semigroups) * Estimation lemma (contour integrals) * Euclid's lemma (number theory) * Expander mixing lemma (graph theory) * Factorization lemma (measure theory) * Farkas's lemma (linear programming) * Fatou's lemma (measure theory) * Fekete's lemma (mathematical analysis) * Feld–Tai lemma (electromagnetism) * Finsler's lemma (control theory) * Fitting lemma (abstract algebra) * Five lemma (homological algebra) * Fixed-point lemma for normal functions (axiomatic set theory) * Fodor's lemma (set theory) * Forking lemma (cryptography) * Frattini's lemma (finite groups) * Frostman's lemma (geometric measure theory) * Fundamental lemma (Langlands program) * Fundamental lemma of calculus of variations * Fundamental lemma of sieve theory (sieve theory) * Gauss's lemmas (polynomials | number theory | Riemannian geometry) * Glivenko–Cantelli lemma (statistics) * Gödel's diagonal lemma (mathematical logic) * Goursat's lemma (algebra) * Grönwall's inequality Grönwall's lemma (inequalities) * Handshaking lemma (graph theory) * Hartogs's lemma (several complex variables) * Hensel's lemma (commutative rings) * Higman's lemma (order theory) * Hopf lemma * Horseshoe lemma (homological algebra) * Hotelling's lemma (microeconomics) * Hua's lemma (analytic number theory) * Injective test lemma (homological algebra) * Itô's lemma (stochastic calculus) * Johnson–Lindenstrauss lemma (Euclidean geometry) * Jónsson's lemma * Jordan's lemma (complex analysis) * Kac's lemma (ergodic theory) * Kalman–Yakubovich–Popov lemma (system analysis, control theory) * Kelly's lemma (graph theory) * Knaster–Kuratowski–Mazurkiewicz lemma (fixed-point theory) * Kőnig's lemma (graph theory) * Kronecker's lemma (infinite sums) * Krull's separation lemma * Lax–Milgram lemma (differential equations) * Lebesgue's number lemma (dimension theory) * Leftover hash lemma (cryptography) * Lindelöf's lemma (topology) * Lindenbaum's lemma (mathematical logic) * Little's lemma (queuing theory) * Littlewood–Offord lemma (combinatorics) * Lovász local lemma (probability theory) * Malliavin's absolute continuity lemma (measure theory) * Margulis lemma (hyperbolic geometry) * Matrix determinant lemma (matrix theory) * Matrix inversion lemma * Mautner's lemma (representation theory) * Morse lemma (differential topology) * Moschovakis coding lemma (set theory) * Mostowski collapse lemma (mathematical logic) * Nakayama lemma (commutative algebra) * Newman's lemma (term rewriting) * Neyman–Pearson lemma (statistics) * Nine lemma (homological algebra) * Noether's normalization lemma (commutative algebra) * Ogden's lemma (formal languages) * Ping-pong lemma (geometric group theory) * Piling-up lemma (linear cryptanalysis) * Poincaré lemma of closed and exact differential forms (differential forms) * Pólya–Burnside lemma * Prime avoidance lemma * Pugh's closing lemma * Pumping lemma (formal languages) sometimes called the Bar-Hillel lemma * Rasiowa–Sikorski lemma (set theory) * Riemann–Lebesgue lemma (harmonic analysis) * Riesz's lemma (functional analysis) * Robbins lemma (statistics) * Sard's lemma (mathematical analysis, singularity theory) * Schanuel's lemma (projective modules) * Schreier's subgroup lemma (group theory) * Schur's lemma (representation theory) * Schwarz lemma (complex analysis) * Schwartz–Zippel lemma (polynomials) * Shadowing lemma (geometry) * Shephard's lemma (microeconomics) * Short five lemma (homological algebra) * Siegel's lemma (Diophantine approximation) * Snake lemma (homological algebra) * Sperner's lemma (combinatorics) * Splitting lemma (homological algebra) * Stechkin's lemma (functional and numerical analysis) * Stein's lemma (probability theory) * Stewart–Walker lemma (tensors) * Switching lemma (computational complexity theory) * Szemerédi regularity lemma (graph theory) * Tube lemma (topology) * Tukey's lemma (metamathematics) also known as the Teichmüller–Tukey lemma * Ultrafilter lemma (order theory) * Urysohn's lemma (general topology) * Vaughan's lemma (analytic number theory) * Vitali covering lemma (real analysis) * Wald's lemma (probability theory) * Watson's lemma * Weyl's lemma (Laplace equation) (partial differential equations) * Whitehead's lemma (Lie algebras) * Yao's XOR lemma (cryptography) * Yoneda lemma, (category theory) * Zassenhaus lemma (group theory) * Zolotarev's lemma (number theory) * Zorn's lemma also known as the Kuratowski–Zorn lemma (set theory) (en) Cet article est une liste de lemmes. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu'on appelle un théorème, qu'il sert généralement à établir au cours d'une démonstration. Cette terminologie reste cependant subjective et relative à l'histoire d'une discipline. Pour l'établissement de l'ordre alphabétique, il a été convenu ce qui suit : * si le nom des lemmes comprend des noms de scientifiques, on se base sur le premier nom propre cité ; * si le nom du lemme ne comprend pas de nom de scientifiques, on se base sur le premier nom commun apparaissant en dehors du mot « lemme ». (fr) |
| dbo:wikiPageID | 599970 (xsd:integer) | |
| dbo:wikiPageLength | 8207 (xsd:nonNegativeInteger) | |
| dbo:wikiPageRevisionID | 1077126517 (xsd:integer) | |
| dbo:wikiPageWikiLink | dbr:Prime_avoidance_lemma dbr:Electromagnetism dbr:Factorization_lemma dbr:List_of_axioms dbr:List_of_conjectures dbr:Mostowski_collapse_lemma dbr:Metamathematics dbr:Representation_theory dbr:Summation_by_parts dbr:Berge's_lemma dbc:Lemmas dbr:Horseshoe_lemma dbr:Hotelling's_lemma dbr:Jordan's_lemma dbr:Bhaskara's_lemma dbr:Riesz's_lemma dbr:Céa's_lemma dbr:Dehn's_lemma dbr:Doob–Dynkin_lemma dbr:Double_counting_(proof_technique) dbr:Dynamical_system dbr:Injective_module dbr:Kőnig's_lemma dbr:Real_analysis dbr:Lindelöf's_lemma dbr:Lindenbaum's_lemma dbr:Stewart–Walker_lemma dbr:Pugh's_closing_lemma dbr:Complex_analysis dbr:Craig_interpolation dbr:Cryptography dbr:Mathematical_analysis dbr:Mathematical_logic dbr:Matrix_(mathematics) dbr:Measure_theory dbr:Ellis–Numakura_lemma dbr:General_topology dbr:Geometric_group_theory dbr:Geometric_measure_theory dbr:Geometric_topology dbr:Neyman–Pearson_lemma dbr:Ogden's_lemma dbr:Order_theory dbr:Rewriting dbr:Siegel's_lemma dbr:Watson's_lemma dbr:Rasiowa–Sikorski_lemma dbr:Ehrling's_lemma dbr:Frattini's_argument dbr:Geometry dbr:Bramble–Hilbert_lemma dbr:Morse_theory dbr:Moschovakis_coding_lemma dbr:Nakayama_lemma dbr:Control_theory dbr:Cooley–Tukey_FFT_algorithm dbr:Theorem dbr:Lie_algebra dbr:Singularity_theory dbr:Snake_lemma dbr:Statistics dbr:Closed_and_exact_differential_forms dbr:Combinatorics dbr:Commutative_algebra dbr:Commutative_ring dbr:Computational_complexity_theory dbr:Functional_analysis dbr:Fundamental_lemma_(Langlands_program) dbr:Fundamental_lemma_of_calculus_of_variations dbr:Fundamental_lemma_of_sieve_theory dbr:Harmonic_analysis dbr:Hopf_lemma dbr:Kronecker's_lemma dbr:Krull's_separation_lemma dbr:Gauss's_lemma_(disambiguation) dbr:Piling-up_lemma dbr:Matrix_determinant_lemma dbr:Microeconomics dbr:Axiomatic_set_theory dbr:Bézout's_identity dbr:Topology dbr:Crossing_number_(disambiguation) dbr:Johnson–Lindenstrauss_lemma dbr:Lebesgue's_number_lemma dbr:Linear_cryptanalysis dbr:Linear_programming dbr:Nine_lemma dbr:Subdirectly_irreducible_algebra dbr:Short_five_lemma dbr:Algebra dbr:Algebraic_geometry dbr:Analytic_number_theory dbr:Dynkin_system dbr:Ergodic_theory dbr:Estimation_lemma dbr:Euclid's_lemma dbr:Fatou's_lemma dbr:Five_lemma dbr:Fixed-point_theorem dbr:Formal_languages dbr:Fourier_transform dbr:Noether's_normalization_lemma dbr:Number_theory dbr:Numerical_analysis dbr:Partial_differential_equation dbr:Partial_differential_equations dbr:Diagonal_lemma dbr:Dickson's_lemma dbr:Differential_equation dbr:Differential_topology dbr:Diophantine_approximation dbr:Fodor's_lemma dbr:Forking_lemma dbr:Formal_language dbr:Goursat's_lemma dbr:Graph_theory dbr:Kac's_lemma dbr:Kalman–Yakubovich–Popov_lemma dbr:Kelly's_lemma dbr:Knot_theory dbr:Leftover_hash_lemma dbr:Lemma_(mathematics) dbr:Probability_theory dbr:Projective_module dbr:Pumping_lemma dbr:Riemannian_geometry dbr:Szemerédi_regularity_lemma dbr:Grönwall's_inequality dbr:Higman's_lemma dbr:Aubin–Lions_lemma dbr:Itô's_lemma dbr:Cotlar–Stein_lemma dbr:Covering_lemma dbr:Tensor dbr:Hyperbolic_geometry dbr:Finite_groups dbr:Zolotarev's_lemma dbr:Abhyankar's_lemma dbr:Abstract_algebra dbr:System_analysis dbr:Hensel's_lemma dbr:Homological_algebra dbr:Woodbury_matrix_identity dbr:Zassenhaus_lemma dbr:Zorn's_lemma dbr:Reciprocity_(electromagnetism) dbr:Differential_form dbr:Diophantine_equation dbr:Artin–Hasse_exponential dbr:Artin–Rees_lemma dbr:Book_of_Lemmas dbr:Borel's_lemma dbr:Borel–Cantelli_lemma dbr:Burnside's_lemma dbr:Ping-pong_lemma dbr:Polynomial dbr:Sperner's_lemma dbr:Splitting_lemma dbr:Group_theory dbr:Hua's_lemma dbr:Schreier's_subgroup_lemma dbr:Schwartz–Zippel_lemma_and_testing_polynomial_identities dbr:Inequality_(mathematics) dbr:Integral dbr:Newman's_lemma dbr:Open_and_closed_maps dbc:Mathematics-related_lists dbr:Category_theory dbr:Set_theory dbr:Several_complex_variables dbr:Yehoshua_Bar-Hillel dbr:Knaster–Kuratowski–Mazurkiewicz_lemma dbr:Lyapunov_stability dbr:Margulis_lemma dbr:Mautner's_lemma dbr:Sard's_lemma dbr:Schur's_lemma dbr:Shadowing_lemma dbr:Sieve_theory dbr:Riemann–Lebesgue_lemma dbr:Vitali_covering_lemma dbr:Topological_semigroup dbr:Euclidean_geometry dbr:Expander_mixing_lemma dbr:List_of_theorems dbr:Little's_lemma dbr:Littlewood–Offord_problem dbr:Lovász_local_lemma dbr:Stochastic_calculus dbr:Finsler's_lemma dbr:Fitting_lemma dbr:Fixed-point_lemma_for_normal_functions dbr:Malliavin's_absolute_continuity_lemma dbr:Weyl's_lemma_(Laplace_equation) dbr:Schwarz_lemma dbr:Robbins_lemma dbr:Urysohn's_lemma dbr:Whitehead's_lemma dbr:Shephard's_lemma dbr:Yoneda_lemma dbr:Dimension_theory dbr:Switching_lemma dbr:Tube_lemma dbr:Microeconomic dbr:Teichmüller–Tukey_lemma dbr:Schanuel's_lemma dbr:Stein's_lemma dbr:Stechkin's_lemma dbr:Poincaré_lemma dbr:Yao's_XOR_lemma dbr:Frostman's_lemma dbr:Tukey's_lemma dbr:Vaughan's_lemma dbr:Hartogs's_lemma dbr:Farkas's_lemma dbr:Cousin's_lemma dbr:Queuing_theory dbr:Mathematical_series dbr:Contour_integral dbr:Glivenko–Cantelli_lemma dbr:Pólya–Burnside_lemma dbr:Infinite_sum dbr:Lax–Milgram_lemma dbr:Wald's_lemma dbr:Delta_lemma dbr:Ultrafilter_lemma dbr:Subadditive_function | |
| dbp:wikiPageUsesTemplate | dbt:Expand_list dbt:Short_description dbt:Cleanup-list | |
| dct:subject | dbc:Lemmas dbc:Mathematics-related_lists | |
| gold:hypernym | dbr:List | |
| rdfs:comment | This following is a list of lemmas (or, "lemmata", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. (en) Cet article est une liste de lemmes. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu'on appelle un théorème, qu'il sert généralement à établir au cours d'une démonstration. Cette terminologie reste cependant subjective et relative à l'histoire d'une discipline. Pour l'établissement de l'ordre alphabétique, il a été convenu ce qui suit : (fr) | |
| rdfs:label | Liste de lemmes (fr) List of lemmas (en) | |
| owl:sameAs | wikidata:List of lemmas dbpedia-fr:List of lemmas dbpedia-ro:List of lemmas https://global.dbpedia.org/id/2zACR | |
| prov:wasDerivedFrom | wikipedia-en:List_of_lemmas?oldid=1077126517&ns=0 | |
| foaf:isPrimaryTopicOf | wikipedia-en:List_of_lemmas | |
| is dbo:wikiPageRedirects of | dbr:List_of_lemmata dbr:Index_of_lemmas | |
| is dbo:wikiPageWikiLink of | dbr:List_of_conjectures dbr:Lemma_(mathematics) dbr:List_of_theorems dbr:Lists_of_mathematics_topics dbr:List_of_lemmata dbr:Index_of_lemmas | |
| is foaf:primaryTopic of | wikipedia-en:List_of_lemmas |