{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"derivations","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"q":"mko-function-graph"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-function-graph-01","title":{"zh-Hant":"實值函數圖形：成員判定與有限表格的總函數驗證","en":"Graphs of real-valued functions: membership tests and verifying a finite table as a total function"},"summary":{"zh-Hant":"(一) 設 D=[0,2]、f:D→ℝ、f(x)=x²−1。先證明 (u,v)∈G_f ⇔ u∈D 且 v=f(u)，再判定 (1,0)、(−1,0)、(2,2)、(2,3) 是否在 G_f 上。(二) 設 D_0={0,1,2}、B={0,1,4}。證明一個集合 Γ 是某個總函數 D_0→B 的圖形，當且僅當 Γ⊆D_0×B 且每個輸入恰有一個輸出；據此判定 T={(0,0),(1,1),(2,4)} 是、而 T_1={(0,0),(2,4)}、T_2={(0,0),(1,1),(1,4),(2,4)}、T_3={(0,0),(1,1),(2,4),(3,9)} 都不是。","en":"(1) Let D=[0,2], f:D→ℝ, f(x)=x²−1. First prove (u,v)∈G_f ⇔ u∈D and v=f(u), then decide whether (1,0), (−1,0), (2,2) and (2,3) lie on G_f. (2) Let D_0={0,1,2} and B={0,1,4}. Prove that a set Γ is the graph of some total function D_0→B exactly when Γ⊆D_0×B and every input has exactly one output; use it to decide that T={(0,0),(1,1),(2,4)} is such a graph, while T_1={(0,0),(2,4)}, T_2={(0,0),(1,1),(1,4),(2,4)} and T_3={(0,0),(1,1),(2,4),(3,9)} are not."},"mko_ids":["mko-function-graph"]}],"title":"Concept derivation guides"}