Partial function (original) (raw)
Eine partielle Funktion von der Menge nach der Menge ist eine binäre, rechtseindeutige Relation, das heißt eine Relation, in der jedem Element der Menge höchstens ein Element der Menge zugeordnet wird. Der Begriff der partiellen Funktion ist in der Theoretischen Informatik, insbesondere in der Berechenbarkeitstheorie verbreitet.
| Property | Value |
|---|---|
| dbo:abstract | En matemàtiques, una funció parcial sobre un conjunt donat E és una aplicació definida sobre una part d'aquest conjunt, anomenat domini de definició de la funció parcial. Una funció parcial és una relació que associa elements d'un conjunt (denominat domini) amb, com a mínim, un dels elements d'un altre conjunt (que pot ser el mateix), denominat codomini. En qualsevol cas, no cal que tots els elements del domini estiguin associats amb algun element del codomini. Si tots els elements d'un conjunt X s'associen amb un element de Y mitjançant una funció parcial f:X→Y, llavors es diu que f és una funció total, o simplement una funció, com s'entén tradicionalment aquest concepte en matemàtiques. No totes les funcions parcials són funcions totals. (ca) Eine partielle Funktion von der Menge nach der Menge ist eine binäre, rechtseindeutige Relation, das heißt eine Relation, in der jedem Element der Menge höchstens ein Element der Menge zugeordnet wird. Der Begriff der partiellen Funktion ist in der Theoretischen Informatik, insbesondere in der Berechenbarkeitstheorie verbreitet. (de) Las funciones se pueden clasificar en función de su conjunto de partida (o dominio). Dando lugar a dos tipos, parciales y totales. (es) En mathématiques, une fonction partielle (quelquefois appelée simplement fonction) sur un ensemble donné E est une application définie sur une partie de celui-ci, appelé domaine de définition de la fonction partielle. Cette notion apparait en particulier en théorie de la calculabilité, qui s'intéresse aux fonctions partielles récursives : celles-ci sont définies sur une partie de N, l'ensemble des entiers naturels, ou plus généralement de Np, et l'ensemble de définition d'une fonction partielle récursive ne peut éventuellement pas se définir a priori, c'est-à-dire autrement qu'en indiquant que ce sont les entiers (ou tuples d'entiers) pour lesquels le calcul qui permet de définir la fonction aboutit. (fr) In mathematics, a partial function f from a set X to a set Y is a function from a subset S of X (possibly X itself) to Y. The subset S, that is, the domain of f viewed as a function, is called the domain of definition of f. If S equals X, that is, if f is defined on every element in X, then f is said to be total. More technically, a partial function is a binary relation over two sets that associates every element of the first set to at most one element of the second set; it is thus a functional binary relation. It generalizes the concept of a (total) function by not requiring every element of the first set to be associated to exactly one element of the second set. A partial function is often used when its exact domain of definition is not known or difficult to specify. This is the case in calculus, where, for example, the quotient of two functions is a partial function whose domain of definition cannot contain the zeros of the denominator. For this reason, in calculus, and more generally in mathematical analysis, a partial function is generally called simply a function. In computability theory, a general recursive function is a partial function from the integers to the integers; for many of them no algorithm can exist for deciding whether they are in fact total. When arrow notation is used for functions, a partial function from to is sometimes written as or However, there is no general convention, and the latter notation is more commonly used for inclusion maps or embeddings. Specifically, for a partial function and any one has either: * (it is a single element in Y), or * is undefined. For example, if is the square root function restricted to the integers defined by: if, and only if, then is only defined if is a perfect square (that is, ). So but is undefined. (en) In matematica, si dice funzione parziale un sottoinsieme di , cioè una relazione binaria tra e , tale che: * (unicità) ossia esiste al più un tale che . È importante notare come non si richiede che la funzione sia definita ovunque, cioè che per ogni in sia per un in . Per contrapposizione, una funzione parziale definita su ogni elemento del dominio (cioè una funzione nel senso comune del termine) è detta totale. Un esempio di funzione parziale è dall'insieme dei numeri naturali in sé stesso, in quanto è un numero naturale solo se è un quadrato perfetto. (it) In de wiskunde wordt een functie die op een deel van een verzameling gedefinieerd is, een partiële functie op genoemd. Een partiële functie is niet noodzakelijk voor alle elementen van gedefinieerd. Zo is het omgekeerde van een getal niet gedefinieerd voor 0 en dus niet voor alle gehele getallen, en daarom slechts een partiële functie op alle gehele getallen. (nl) 수학에서 부분 정의 함수(部分定義函數, 영어: partially defined function) 또는 부분 함수(部分函數, 영어: partial function)는 정의역의 일부분에만 정의되는, 함수의 개념의 일반화이다. (ko) 数学において部分写像（ぶぶんしゃぞう、英: partial mapping）あるいは部分函数（英: partial function）は適当な部分集合上で定義された写像である。即ち、集合 X から Y への部分写像 f は X の任意の元に Y の元を割り当てることが求められる写像 f: X → Y の概念を一般化して、X の適当な部分集合 X' の元に対してのみそれを要求する。X′ = X となる場合には f は全域写像 (total function) と呼ばれ、これは写像と同じ概念を意味する。部分写像を考えるときには、その定義域 X' がはっきりとは分かっていないという場合もよくある。 (ja) Funkcja częściowa z do – funkcja gdzie jest podzbiorem . Funkcję częściową z do oznacza się Jest to uogólnienie pojęcia funkcji polegające na tym, że nie wymaga się, aby odwzorowywało każdy element zbioru na element zbioru (lecz elementy pewnego podzbioru zbioru ). Jeśli to nazywa się po prostu funkcją. Funkcje częściowe są często używane wtedy, gdy dokładna dziedzina funkcji, nie jest znana. Dla funkcji częściowej dla każdego elementu albo: * ( jest jedynym takim elementem ) albo * jest niezdefiniowana. Jeśli dla funkcji częściowej istnieje taka funkcja że dla każdego elementu zbioru zachodzi równość to funkcję nazywamy przedłużeniem funkcji Mówimy wtedy, że funkcja jest funkcją częściową funkcji . Funkcję częściową funkcji oznaczamy wtedy symbolem (pl) Em matemática, uma função parcial é quase uma função, falhando na definição, porque para nem todos do domínio existe algum Mais precisamente, uma função parcial: é uma relação cujo gráfico: satisfaz o axioma: Em outras palavras, é uma relação tal que a restrição de ao seu domínio é uma função. Temos como exemplos: * arco seno * raiz quadrada * função inverso são funções parciais de em (pt) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Partial_function.svg?width=300 |
| dbo:wikiPageID | 23577 (xsd:integer) |
| dbo:wikiPageLength | 14927 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1104424212 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Calculus dbr:Partial_algebra dbr:Binary_relation dbr:Bottom_element dbr:Denotational_semantics dbr:Algorithm dbc:Mathematical_relations dbr:Inclusion_map dbr:Inverse_category dbr:Universal_algebra dbr:Computability_theory dbr:Mathematical_analysis dbr:Mathematics dbr:Quotient dbr:Function_(mathematics) dbr:General_recursive_function dbr:Morphism dbr:Equivalence_of_categories dbr:Opposite_category dbr:Symmetric_inverse_semigroup dbr:Statically_typed dbr:Stephen_Kleene dbr:Computer_science dbr:Embedding dbr:Partial_application dbr:Theoretical_computer_science dbr:Type_system dbr:Domain_of_a_function dbc:Functions_and_mappings dbr:Fiber_bundle dbr:Field_(mathematics) dbr:Not-a-number dbr:Isomorphism_of_categories dbr:Regular_semigroup dbr:Halting_problem dbr:Harold_S._Stone dbr:Atlas_(topology) dbr:Bijection dbr:Surjective_function dbr:Transformation_(function) dbr:Zero_of_a_function dbr:Division_by_zero dbr:Manifold dbr:Martin_Davis_(mathematician) dbr:Square_number dbr:Square_root dbr:IEEE_floating_point dbr:Injective_function dbr:Integer dbr:Integers dbr:Natural_logarithm dbr:Natural_numbers dbr:Operation_(mathematics) dbr:Category_theory dbr:Real_number dbr:Set_(mathematics) dbr:Concrete_categories dbr:Programming_language dbr:Pointed_set dbr:Subset dbr:One-point_compactification dbr:Partial_bijection dbr:Positive_reals dbr:File:Total_function.svg dbr:File:Partial_function.svg |
| dbp:wikiPageUsesTemplate | dbt:Annotated_link dbt:Citation_needed dbt:Commons_category dbt:Distinguish dbt:Em dbt:More_footnotes dbt:Mvar dbt:Reflist dbt:Short_description dbt:Isbn dbt:Functions |
| dcterms:subject | dbc:Mathematical_relations dbc:Functions_and_mappings |
| rdf:type | owl:Thing yago:Abstraction100002137 yago:Function113783816 yago:MathematicalRelation113783581 yago:Relation100031921 yago:WikicatFunctionsAndMappings |
| rdfs:comment | Eine partielle Funktion von der Menge nach der Menge ist eine binäre, rechtseindeutige Relation, das heißt eine Relation, in der jedem Element der Menge höchstens ein Element der Menge zugeordnet wird. Der Begriff der partiellen Funktion ist in der Theoretischen Informatik, insbesondere in der Berechenbarkeitstheorie verbreitet. (de) Las funciones se pueden clasificar en función de su conjunto de partida (o dominio). Dando lugar a dos tipos, parciales y totales. (es) In matematica, si dice funzione parziale un sottoinsieme di , cioè una relazione binaria tra e , tale che: * (unicità) ossia esiste al più un tale che . È importante notare come non si richiede che la funzione sia definita ovunque, cioè che per ogni in sia per un in . Per contrapposizione, una funzione parziale definita su ogni elemento del dominio (cioè una funzione nel senso comune del termine) è detta totale. Un esempio di funzione parziale è dall'insieme dei numeri naturali in sé stesso, in quanto è un numero naturale solo se è un quadrato perfetto. (it) In de wiskunde wordt een functie die op een deel van een verzameling gedefinieerd is, een partiële functie op genoemd. Een partiële functie is niet noodzakelijk voor alle elementen van gedefinieerd. Zo is het omgekeerde van een getal niet gedefinieerd voor 0 en dus niet voor alle gehele getallen, en daarom slechts een partiële functie op alle gehele getallen. (nl) 수학에서 부분 정의 함수(部分定義函數, 영어: partially defined function) 또는 부분 함수(部分函數, 영어: partial function)는 정의역의 일부분에만 정의되는, 함수의 개념의 일반화이다. (ko) 数学において部分写像（ぶぶんしゃぞう、英: partial mapping）あるいは部分函数（英: partial function）は適当な部分集合上で定義された写像である。即ち、集合 X から Y への部分写像 f は X の任意の元に Y の元を割り当てることが求められる写像 f: X → Y の概念を一般化して、X の適当な部分集合 X' の元に対してのみそれを要求する。X′ = X となる場合には f は全域写像 (total function) と呼ばれ、これは写像と同じ概念を意味する。部分写像を考えるときには、その定義域 X' がはっきりとは分かっていないという場合もよくある。 (ja) Em matemática, uma função parcial é quase uma função, falhando na definição, porque para nem todos do domínio existe algum Mais precisamente, uma função parcial: é uma relação cujo gráfico: satisfaz o axioma: Em outras palavras, é uma relação tal que a restrição de ao seu domínio é uma função. Temos como exemplos: * arco seno * raiz quadrada * função inverso são funções parciais de em (pt) En matemàtiques, una funció parcial sobre un conjunt donat E és una aplicació definida sobre una part d'aquest conjunt, anomenat domini de definició de la funció parcial. Una funció parcial és una relació que associa elements d'un conjunt (denominat domini) amb, com a mínim, un dels elements d'un altre conjunt (que pot ser el mateix), denominat codomini. En qualsevol cas, no cal que tots els elements del domini estiguin associats amb algun element del codomini. (ca) En mathématiques, une fonction partielle (quelquefois appelée simplement fonction) sur un ensemble donné E est une application définie sur une partie de celui-ci, appelé domaine de définition de la fonction partielle. (fr) In mathematics, a partial function f from a set X to a set Y is a function from a subset S of X (possibly X itself) to Y. The subset S, that is, the domain of f viewed as a function, is called the domain of definition of f. If S equals X, that is, if f is defined on every element in X, then f is said to be total. When arrow notation is used for functions, a partial function from to is sometimes written as or However, there is no general convention, and the latter notation is more commonly used for inclusion maps or embeddings. Specifically, for a partial function and any one has either: (en) Funkcja częściowa z do – funkcja gdzie jest podzbiorem . Funkcję częściową z do oznacza się Jest to uogólnienie pojęcia funkcji polegające na tym, że nie wymaga się, aby odwzorowywało każdy element zbioru na element zbioru (lecz elementy pewnego podzbioru zbioru ). Jeśli to nazywa się po prostu funkcją. Funkcje częściowe są często używane wtedy, gdy dokładna dziedzina funkcji, nie jest znana. Dla funkcji częściowej dla każdego elementu albo: * ( jest jedynym takim elementem ) albo * jest niezdefiniowana. (pl) |
| rdfs:label | Funció parcial (ca) Partielle Funktion (de) Función parcial (es) Fonction partielle (fr) Funzione parziale (it) 部分写像 (ja) 부분 정의 함수 (ko) Partial function (en) Partiële functie (nl) Funkcja częściowa (pl) Função parcial (pt) 偏函数 (zh) |
| owl:sameAs | freebase:Partial function yago-res:Partial function wikidata:Partial function dbpedia-ca:Partial function dbpedia-de:Partial function dbpedia-es:Partial function dbpedia-fa:Partial function dbpedia-fi:Partial function dbpedia-fr:Partial function dbpedia-he:Partial function dbpedia-it:Partial function dbpedia-ja:Partial function dbpedia-ko:Partial function dbpedia-nl:Partial function dbpedia-pl:Partial function dbpedia-pt:Partial function http://ta.dbpedia.org/resource/பகுதிச்_சார்பு http://tl.dbpedia.org/resource/Di-buong_bunin dbpedia-zh:Partial function https://global.dbpedia.org/id/i6h9 |
| prov:wasDerivedFrom | wikipedia-en:Partial_function?oldid=1104424212&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Partial_function.svg wiki-commons:Special:FilePath/Total_function.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Partial_function |
| is dbo:wikiPageDisambiguates of | dbr:Partial |
| is dbo:wikiPageRedirects of | dbr:Total_Function dbr:Total_functions dbr:⇸ dbr:Total_function dbr:Partial_and_total_functions dbr:Partial_functions dbr:Domain_of_definition dbr:Domain_of_a_partial_function dbr:Partial_Function dbr:Limited_function dbr:Limited_function_(mathematics) dbr:Partial_map dbr:Partial_mapping dbr:Partially-defined_map dbr:Partially_defined_map |
| is dbo:wikiPageWikiLink of | dbr:Primitive_recursive_function dbr:Scala_(programming_language) dbr:Schröder–Bernstein_theorem dbr:Enumeration_reducibility dbr:Partial_algebra dbr:Partial_groupoid dbr:Real-valued_function dbr:Total_Function dbr:Total_functions dbr:Binary_relation dbr:Denotational_semantics dbr:Deterministic_finite_automaton dbr:Algorithm dbr:Homogeneous_function dbr:Homography dbr:Peano_axioms dbr:Relation_(mathematics) dbr:Undefined_(mathematics) dbr:Undefined_value dbr:Decision_problem dbr:Definite_description dbr:⇸ dbr:Description_number dbr:Earth_mover's_distance dbr:Index_of_computing_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Initial_algebra dbr:Intersection dbr:Introduction_to_Lattices_and_Order dbr:Inverse_semigroup dbr:Universal_algebra dbr:Lift_(mathematics) dbr:Numbering_(computability_theory) dbr:Weighted_automaton dbr:Weihrauch_reducibility dbr:Computable_function dbr:Concept_class dbr:Constructivism_(philosophy_of_mathematics) dbr:Continuous_function dbr:Lower_envelope dbr:Partial_word dbr:Separation_logic dbr:Μ_operator dbr:Rasiowa–Sikorski_lemma dbr:Closed_graph_theorem_(functional_analysis) dbr:Function_(mathematics) dbr:Function_composition dbr:General_recursive_function dbr:Constructive_set_theory dbr:Converse_relation dbr:Equivalence_of_categories dbr:Rational_mapping dbr:Symmetric_inverse_semigroup dbr:Löwenheim–Skolem_theorem dbr:Standard_ML dbr:Suffix_automaton dbr:Common_Algebraic_Specification_Language dbr:Complete_partial_order dbr:Composition_of_relations dbr:Computable_analysis dbr:Kripke_semantics dbr:Partial dbr:Partial_equivalence_relation dbr:Subtraction dbr:Total_functional_programming dbr:Total_function dbr:Tree_stack_automaton dbr:Tree_transducer dbr:Divergent_series dbr:Domain_of_a_function dbr:Heap_(mathematics) dbr:Join_and_meet dbr:Las_Vegas_algorithm dbr:Lattice_(order) dbr:Multi-track_Turing_machine dbr:Algebraic_logic dbr:Dyck_language dbr:Finite-state_transducer dbr:Partial_and_total_functions dbr:Partial_functions dbr:Relational_model dbr:Tuple_relational_calculus dbr:Halting_problem dbr:Special_classes_of_semigroups dbr:Subcountability dbr:Abuse_of_notation dbr:Binary_operation dbr:Biordered_set dbr:Hideto_Tomabechi dbr:Total_relation dbr:Totality dbr:Register_machine dbr:Division_(mathematics) dbr:Domain_of_definition dbr:Bunched_logic dbr:Groupoid dbr:Domain_of_a_partial_function dbr:Idris_(programming_language) dbr:Injective_function dbr:Operation_(mathematics) dbr:Reduction_strategy dbr:Chain-complete_partial_order dbr:Chaitin's_constant dbr:Kleene's_recursion_theorem dbr:Map_(mathematics) dbr:Turing_machine dbr:Uniformization_(set_theory) dbr:Universal_Turing_machine dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Partial_permutation dbr:Observable dbr:Pointed_set dbr:Semicomputable_function dbr:Finite-state_machine dbr:Sudoku_solving_algorithms dbr:Multitape_Turing_machine dbr:Multivalued_function dbr:Munn_semigroup dbr:UTM_theorem dbr:Partial_Function dbr:Outline_of_discrete_mathematics dbr:Outline_of_logic dbr:Transformation_semigroup dbr:Limited_function dbr:Limited_function_(mathematics) dbr:Partial_map dbr:Partial_mapping dbr:Partially-defined_map dbr:Partially_defined_map |
| is owl:differentFrom of | dbr:Partial_application |
| is foaf:primaryTopic of | wikipedia-en:Partial_function |
