http://dbpedia.org/ontology/abstract
|
This following is a list of lemmas (or, "l … 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) as the Kuratowski–Zorn lemma (set theory)
, Cet article est une liste de lemmes. En ma … 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 ».n apparaissant en dehors du mot « lemme ».
|
http://dbpedia.org/ontology/wikiPageID
|
599970
|
http://dbpedia.org/ontology/wikiPageLength
|
8207
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1077126517
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Theorem +
, http://dbpedia.org/resource/Hensel%27s_lemma +
, http://dbpedia.org/resource/Berge%27s_lemma +
, http://dbpedia.org/resource/Urysohn%27s_lemma +
, http://dbpedia.org/resource/Functional_analysis +
, http://dbpedia.org/resource/Injective_module +
, http://dbpedia.org/resource/Inequality_%28mathematics%29 +
, http://dbpedia.org/resource/Kronecker%27s_lemma +
, http://dbpedia.org/resource/Little%27s_lemma +
, http://dbpedia.org/resource/Graph_theory +
, http://dbpedia.org/resource/Microeconomic +
, http://dbpedia.org/resource/Ellis%E2%80%93Numakura_lemma +
, http://dbpedia.org/resource/Artin%E2%80%93Rees_lemma +
, http://dbpedia.org/resource/Diophantine_equation +
, http://dbpedia.org/resource/Artin%E2%80%93Hasse_exponential +
, http://dbpedia.org/resource/Prime_avoidance_lemma +
, http://dbpedia.org/resource/Sieve_theory +
, http://dbpedia.org/resource/Projective_module +
, http://dbpedia.org/resource/Bhaskara%27s_lemma +
, http://dbpedia.org/resource/Splitting_lemma +
, http://dbpedia.org/resource/Covering_lemma +
, http://dbpedia.org/resource/Geometric_topology +
, http://dbpedia.org/resource/Ultrafilter_lemma +
, http://dbpedia.org/resource/List_of_conjectures +
, http://dbpedia.org/resource/Group_theory +
, http://dbpedia.org/resource/Electromagnetism +
, http://dbpedia.org/resource/Pumping_lemma +
, http://dbpedia.org/resource/Stein%27s_lemma +
, http://dbpedia.org/resource/System_analysis +
, http://dbpedia.org/resource/Riemann%E2%80%93Lebesgue_lemma +
, http://dbpedia.org/resource/Differential_form +
, http://dbpedia.org/resource/Wald%27s_lemma +
, http://dbpedia.org/resource/List_of_theorems +
, http://dbpedia.org/resource/Delta_lemma +
, http://dbpedia.org/resource/Jordan%27s_lemma +
, http://dbpedia.org/resource/Cousin%27s_lemma +
, http://dbpedia.org/resource/P%C3%B3lya%E2%80%93Burnside_lemma +
, http://dbpedia.org/resource/Metamathematics +
, http://dbpedia.org/resource/Open_and_closed_maps +
, http://dbpedia.org/resource/Schwartz%E2%80%93Zippel_lemma_and_testing_polynomial_identities +
, http://dbpedia.org/resource/Leftover_hash_lemma +
, http://dbpedia.org/resource/Vaughan%27s_lemma +
, http://dbpedia.org/resource/Gr%C3%B6nwall%27s_inequality +
, http://dbpedia.org/resource/Szemer%C3%A9di_regularity_lemma +
, http://dbpedia.org/resource/Crossing_number_%28disambiguation%29 +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/C%C3%A9a%27s_lemma +
, http://dbpedia.org/resource/Malliavin%27s_absolute_continuity_lemma +
, http://dbpedia.org/resource/Newman%27s_lemma +
, http://dbpedia.org/resource/Axiomatic_set_theory +
, http://dbpedia.org/resource/Robbins_lemma +
, http://dbpedia.org/resource/Switching_lemma +
, http://dbpedia.org/resource/Contour_integral +
, http://dbpedia.org/resource/Mathematical_series +
, http://dbpedia.org/resource/General_topology +
, http://dbpedia.org/resource/Partial_differential_equation +
, http://dbpedia.org/resource/Whitehead%27s_lemma +
, http://dbpedia.org/resource/Estimation_lemma +
, http://dbpedia.org/resource/Forking_lemma +
, http://dbpedia.org/resource/Differential_equation +
, http://dbpedia.org/resource/Kalman%E2%80%93Yakubovich%E2%80%93Popov_lemma +
, http://dbpedia.org/resource/Matrix_determinant_lemma +
, http://dbpedia.org/resource/Lemma_%28mathematics%29 +
, http://dbpedia.org/resource/Tube_lemma +
, http://dbpedia.org/resource/Morse_theory +
, http://dbpedia.org/resource/Poincar%C3%A9_lemma +
, http://dbpedia.org/resource/Representation_theory +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Double_counting_%28proof_technique%29 +
, http://dbpedia.org/resource/Expander_mixing_lemma +
, http://dbpedia.org/resource/Shephard%27s_lemma +
, http://dbpedia.org/resource/Fixed-point_lemma_for_normal_functions +
, http://dbpedia.org/resource/Infinite_sum +
, http://dbpedia.org/resource/Cooley%E2%80%93Tukey_FFT_algorithm +
, http://dbpedia.org/resource/Dynkin_system +
, http://dbpedia.org/resource/Category:Mathematics-related_lists +
, http://dbpedia.org/resource/Category:Lemmas +
, http://dbpedia.org/resource/Frattini%27s_argument +
, http://dbpedia.org/resource/Borel%27s_lemma +
, http://dbpedia.org/resource/Lebesgue%27s_number_lemma +
, http://dbpedia.org/resource/Riesz%27s_lemma +
, http://dbpedia.org/resource/Fitting_lemma +
, http://dbpedia.org/resource/Order_theory +
, http://dbpedia.org/resource/Cryptography +
, http://dbpedia.org/resource/Geometric_measure_theory +
, http://dbpedia.org/resource/Kac%27s_lemma +
, http://dbpedia.org/resource/Hartogs%27s_lemma +
, http://dbpedia.org/resource/Schanuel%27s_lemma +
, http://dbpedia.org/resource/Tensor +
, http://dbpedia.org/resource/Shadowing_lemma +
, http://dbpedia.org/resource/Commutative_algebra +
, http://dbpedia.org/resource/Fundamental_lemma_%28Langlands_program%29 +
, http://dbpedia.org/resource/Real_analysis +
, http://dbpedia.org/resource/Yehoshua_Bar-Hillel +
, http://dbpedia.org/resource/Nakayama_lemma +
, http://dbpedia.org/resource/Ogden%27s_lemma +
, http://dbpedia.org/resource/B%C3%A9zout%27s_identity +
, http://dbpedia.org/resource/Lindel%C3%B6f%27s_lemma +
, http://dbpedia.org/resource/Higman%27s_lemma +
, http://dbpedia.org/resource/Matrix_%28mathematics%29 +
, http://dbpedia.org/resource/Noether%27s_normalization_lemma +
, http://dbpedia.org/resource/Schwarz_lemma +
, http://dbpedia.org/resource/Topological_semigroup +
, http://dbpedia.org/resource/Watson%27s_lemma +
, http://dbpedia.org/resource/Diagonal_lemma +
, http://dbpedia.org/resource/Commutative_ring +
, http://dbpedia.org/resource/Craig_interpolation +
, http://dbpedia.org/resource/Five_lemma +
, http://dbpedia.org/resource/Borel%E2%80%93Cantelli_lemma +
, http://dbpedia.org/resource/Fodor%27s_lemma +
, http://dbpedia.org/resource/Lie_algebra +
, http://dbpedia.org/resource/Differential_topology +
, http://dbpedia.org/resource/Several_complex_variables +
, http://dbpedia.org/resource/Integral +
, http://dbpedia.org/resource/Stewart%E2%80%93Walker_lemma +
, http://dbpedia.org/resource/Sard%27s_lemma +
, http://dbpedia.org/resource/Hyperbolic_geometry +
, http://dbpedia.org/resource/Summation_by_parts +
, http://dbpedia.org/resource/Weyl%27s_lemma_%28Laplace_equation%29 +
, http://dbpedia.org/resource/Hopf_lemma +
, http://dbpedia.org/resource/Abhyankar%27s_lemma +
, http://dbpedia.org/resource/Johnson%E2%80%93Lindenstrauss_lemma +
, http://dbpedia.org/resource/Fatou%27s_lemma +
, http://dbpedia.org/resource/Numerical_analysis +
, http://dbpedia.org/resource/Fundamental_lemma_of_calculus_of_variations +
, http://dbpedia.org/resource/Harmonic_analysis +
, http://dbpedia.org/resource/Littlewood%E2%80%93Offord_problem +
, http://dbpedia.org/resource/Kelly%27s_lemma +
, http://dbpedia.org/resource/Snake_lemma +
, http://dbpedia.org/resource/Ergodic_theory +
, http://dbpedia.org/resource/Partial_differential_equations +
, http://dbpedia.org/resource/Zorn%27s_lemma +
, http://dbpedia.org/resource/Linear_cryptanalysis +
, http://dbpedia.org/resource/Ping-pong_lemma +
, http://dbpedia.org/resource/Bramble%E2%80%93Hilbert_lemma +
, http://dbpedia.org/resource/Yao%27s_XOR_lemma +
, http://dbpedia.org/resource/Knot_theory +
, http://dbpedia.org/resource/Euclidean_geometry +
, http://dbpedia.org/resource/Algebraic_geometry +
, http://dbpedia.org/resource/Mautner%27s_lemma +
, http://dbpedia.org/resource/Mostowski_collapse_lemma +
, http://dbpedia.org/resource/Sperner%27s_lemma +
, http://dbpedia.org/resource/Zassenhaus_lemma +
, http://dbpedia.org/resource/Finsler%27s_lemma +
, http://dbpedia.org/resource/Rewriting +
, http://dbpedia.org/resource/Geometric_group_theory +
, http://dbpedia.org/resource/Woodbury_matrix_identity +
, http://dbpedia.org/resource/Knaster%E2%80%93Kuratowski%E2%80%93Mazurkiewicz_lemma +
, http://dbpedia.org/resource/Piling-up_lemma +
, http://dbpedia.org/resource/Lyapunov_stability +
, http://dbpedia.org/resource/Pugh%27s_closing_lemma +
, http://dbpedia.org/resource/Siegel%27s_lemma +
, http://dbpedia.org/resource/Schreier%27s_subgroup_lemma +
, http://dbpedia.org/resource/Measure_theory +
, http://dbpedia.org/resource/Dehn%27s_lemma +
, http://dbpedia.org/resource/Topology +
, http://dbpedia.org/resource/Hua%27s_lemma +
, http://dbpedia.org/resource/Short_five_lemma +
, http://dbpedia.org/resource/Fundamental_lemma_of_sieve_theory +
, http://dbpedia.org/resource/Analytic_number_theory +
, http://dbpedia.org/resource/Subdirectly_irreducible_algebra +
, http://dbpedia.org/resource/Riemannian_geometry +
, http://dbpedia.org/resource/Euclid%27s_lemma +
, http://dbpedia.org/resource/Homological_algebra +
, http://dbpedia.org/resource/Cotlar%E2%80%93Stein_lemma +
, http://dbpedia.org/resource/Probability_theory +
, http://dbpedia.org/resource/Farkas%27s_lemma +
, http://dbpedia.org/resource/Nine_lemma +
, http://dbpedia.org/resource/Mathematical_analysis +
, http://dbpedia.org/resource/Singularity_theory +
, http://dbpedia.org/resource/Frostman%27s_lemma +
, http://dbpedia.org/resource/Dickson%27s_lemma +
, http://dbpedia.org/resource/Margulis_lemma +
, http://dbpedia.org/resource/It%C3%B4%27s_lemma +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Zolotarev%27s_lemma +
, http://dbpedia.org/resource/Combinatorics +
, http://dbpedia.org/resource/Reciprocity_%28electromagnetism%29 +
, http://dbpedia.org/resource/Statistics +
, http://dbpedia.org/resource/Subadditive_function +
, http://dbpedia.org/resource/Goursat%27s_lemma +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Diophantine_approximation +
, http://dbpedia.org/resource/Closed_and_exact_differential_forms +
, http://dbpedia.org/resource/Moschovakis_coding_lemma +
, http://dbpedia.org/resource/Abstract_algebra +
, http://dbpedia.org/resource/Glivenko%E2%80%93Cantelli_lemma +
, http://dbpedia.org/resource/K%C5%91nig%27s_lemma +
, http://dbpedia.org/resource/Yoneda_lemma +
, http://dbpedia.org/resource/Schur%27s_lemma +
, http://dbpedia.org/resource/Dynamical_system +
, http://dbpedia.org/resource/Algebra +
, http://dbpedia.org/resource/Hotelling%27s_lemma +
, http://dbpedia.org/resource/Horseshoe_lemma +
, http://dbpedia.org/resource/Burnside%27s_lemma +
, http://dbpedia.org/resource/Krull%27s_separation_lemma +
, http://dbpedia.org/resource/Dimension_theory +
, http://dbpedia.org/resource/Number_theory +
, http://dbpedia.org/resource/Tukey%27s_lemma +
, http://dbpedia.org/resource/Ehrling%27s_lemma +
, http://dbpedia.org/resource/Neyman%E2%80%93Pearson_lemma +
, http://dbpedia.org/resource/Teichm%C3%BCller%E2%80%93Tukey_lemma +
, http://dbpedia.org/resource/Fixed-point_theorem +
, http://dbpedia.org/resource/Lax%E2%80%93Milgram_lemma +
, http://dbpedia.org/resource/Aubin%E2%80%93Lions_lemma +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Factorization_lemma +
, http://dbpedia.org/resource/Formal_languages +
, http://dbpedia.org/resource/Vitali_covering_lemma +
, http://dbpedia.org/resource/Doob%E2%80%93Dynkin_lemma +
, http://dbpedia.org/resource/List_of_axioms +
, http://dbpedia.org/resource/Lov%C3%A1sz_local_lemma +
, http://dbpedia.org/resource/Control_theory +
, http://dbpedia.org/resource/Queuing_theory +
, http://dbpedia.org/resource/Fourier_transform +
, http://dbpedia.org/resource/Geometry +
, http://dbpedia.org/resource/Book_of_Lemmas +
, http://dbpedia.org/resource/Linear_programming +
, http://dbpedia.org/resource/Stechkin%27s_lemma +
, http://dbpedia.org/resource/Finite_groups +
, http://dbpedia.org/resource/Polynomial +
, http://dbpedia.org/resource/Stochastic_calculus +
, http://dbpedia.org/resource/Gauss%27s_lemma_%28disambiguation%29 +
, http://dbpedia.org/resource/Lindenbaum%27s_lemma +
, http://dbpedia.org/resource/Microeconomics +
, http://dbpedia.org/resource/Complex_analysis +
, http://dbpedia.org/resource/Rasiowa%E2%80%93Sikorski_lemma +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cleanup-list +
, http://dbpedia.org/resource/Template:Expand_list +
, http://dbpedia.org/resource/Template:Short_description +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematics-related_lists +
, http://dbpedia.org/resource/Category:Lemmas +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/List +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/List_of_lemmas?oldid=1077126517&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/List_of_lemmas +
|
owl:sameAs |
http://dbpedia.org/resource/List_of_lemmas +
, http://www.wikidata.org/entity/Q3244142 +
, http://ro.dbpedia.org/resource/List%C4%83_de_leme_matematice +
, https://global.dbpedia.org/id/2zACR +
, http://fr.dbpedia.org/resource/Liste_de_lemmes +
|
rdfs:comment |
Cet article est une liste de lemmes. En ma … 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 :phabétique, il a été convenu ce qui suit :
, 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.
|
rdfs:label |
Liste de lemmes
, List of lemmas
|