@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/math000277>
  skos:prefLabel "تابع قله‌ای قوی"@fa, "strong peak function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001118>
  skos:prefLabel "قضیه گرین-سمولیان"@fa, "kerein-smulyan theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0003764>
  skos:prefLabel "نگاشت دوری"@fa, "cyclic mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001005>
  skos:prefLabel "جبر کالکین"@fa, "calkin algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/mathpro122> skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .
<http://www.irandoc.acir/onto/irandoc/math0005369>
  skos:prefLabel "مشتق هادامارد"@fa, "hadamard derivative"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001112>
  skos:prefLabel "قضیه ابرلین-سمولیان"@fa, "eberlein-smulyan"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001153>
  skos:prefLabel "فضای برداری توپولوژیک"@fa, "topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0004942>
  skos:prefLabel "نگاشت تصویر"@fa, "projection mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001194>
  skos:prefLabel "فضای هیلبرت"@fa, "hilbert space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0004955>
  skos:prefLabel "نگاشت شبه مربعی"@fa, "quasi quadratic mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001179>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001103>, <http://www.irandoc.acir/onto/irandoc/math0004942>, <http://www.irandoc.acir/onto/irandoc/math0001124>, <http://www.irandoc.acir/onto/irandoc/math0001184>, <http://www.irandoc.acir/onto/irandoc/math0001194>, <http://www.irandoc.acir/onto/irandoc/math0001004>, <http://www.irandoc.acir/onto/irandoc/math000277>, <http://www.irandoc.acir/onto/irandoc/math0004961>, <http://www.irandoc.acir/onto/irandoc/math0005369>, <http://www.irandoc.acir/onto/irandoc/math000280>, <http://www.irandoc.acir/onto/irandoc/math0010091>, <http://www.irandoc.acir/onto/irandoc/math0006938>, <http://www.irandoc.acir/onto/irandoc/math0008635>, <http://www.irandoc.acir/onto/irandoc/math0005301>, <http://www.irandoc.acir/onto/irandoc/math0001185>, <http://www.irandoc.acir/onto/irandoc/math0001095>, <http://www.irandoc.acir/onto/irandoc/math0003764>, <http://www.irandoc.acir/onto/irandoc/math0001112>, <http://www.irandoc.acir/onto/irandoc/math0001118>, <http://www.irandoc.acir/onto/irandoc/math0001005>, <http://www.irandoc.acir/onto/irandoc/math0001162>, <http://www.irandoc.acir/onto/irandoc/math0010119>, <http://www.irandoc.acir/onto/irandoc/math0001110>, <http://www.irandoc.acir/onto/irandoc/math000278>, <http://www.irandoc.acir/onto/irandoc/math0004962>, <http://www.irandoc.acir/onto/irandoc/math0003804>, <http://www.irandoc.acir/onto/irandoc/math0001153>, <http://www.irandoc.acir/onto/irandoc/math000292>, <http://www.irandoc.acir/onto/irandoc/math0001038>, <http://www.irandoc.acir/onto/irandoc/math0006605>, <http://www.irandoc.acir/onto/irandoc/math0004955>, <http://www.irandoc.acir/onto/irandoc/math0008617>, <http://www.irandoc.acir/onto/irandoc/math0004757>, <http://www.irandoc.acir/onto/irandoc/math0001222>, <http://www.irandoc.acir/onto/irandoc/math0001113>, <http://www.irandoc.acir/onto/irandoc/math0004938>, <http://www.irandoc.acir/onto/irandoc/math0001073>, <http://www.irandoc.acir/onto/irandoc/math000279>, <http://www.irandoc.acir/onto/irandoc/math0003874> ;
  skos:prefLabel "فضای باناخ"@fa, "banach space"@en ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> ;
  skos:scopeNote "یک فضای برداری حقیقی یا مختلط که در آن هر بردار، طول یا نرمی نامنفی دارد و هر دنباله کوشی به نقطه ای از فضا همگراست."@fa .

<http://www.irandoc.acir/onto/irandoc/math0001038>
  skos:prefLabel "جبر خارج قسمتی"@fa, "quotient algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0005301>
  skos:prefLabel "مشتق گاتو"@fa, "gateaux derivative"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0004962>
  skos:prefLabel "نگاشت مربعی"@fa, "quadratic mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001004>
  skos:prefLabel "جبر قرصی"@fa, "disc algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001073>
  skos:prefLabel "اصل کرانداری یکنواخت"@fa, "uniform boundedness principle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0008617>
  skos:prefLabel "عملگر ابر‌دوری"@fa, "hypercyclic operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0006605>
  skos:prefLabel "دومین قضیه نقطه ثابت شاودر"@fa, "schauder second fixed point theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001124>
  skos:prefLabel "قضیه هان-باناخ"@fa, "hahn-banach theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0006938>
  skos:prefLabel "معادله دیفرانسیل مجرد"@fa, "abstract differential equation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/mathpro295> skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .
<http://www.irandoc.acir/onto/irandoc/math0001103>
  skos:prefLabel "فضای به‌طور یکنواخت هموار"@fa, "uniformly smooth space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0004961>
  skos:prefLabel "نگاشت مربعی پایدار"@fa, "stability quadratic mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001185>
  skos:prefLabel "قضیه شور(فضای باناخ)"@fa, "schur theorem(banach space)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/mathpro261> skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .
<http://www.irandoc.acir/onto/irandoc/mathpro274> skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .
<http://www.irandoc.acir/onto/irandoc/math0001110>
  skos:prefLabel "فضای نرم‌دار"@fa, "normed space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0004938>
  skos:prefLabel "نگاشت تصویر حافظ شکل"@fa, "shape preserving projection mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0003874>
  skos:prefLabel "قضیه شوادر"@fa, "schuader theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001184>
  skos:prefLabel "قضیه ارلیس-پتیس"@fa, "orlicz-pettis theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001222>
  skos:prefLabel "همگرایی نامشروط"@fa, "unconditional convergence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0010091>
  skos:prefLabel "هندسه فینسلر"@fa, "finsler geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math000279>
  skos:prefLabel "نقطه قله‌ای قوی"@fa, "strong peak point"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0008635>
  skos:prefLabel "عملگر رده-جی"@fa, "j-class operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0003804>
  skos:prefLabel "نظریه درجه توپولوژیک"@fa, "topological degree theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math000280>
  skos:prefLabel "تابع قله‌ای"@fa, "peak function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0010119>
  skos:prefLabel "فضای باناخ متناهی‌بعد"@fa, "finite-dimensional banach spaces"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001190>
  skos:prefLabel "فضای خطی نرم‌دار"@fa, "normed linear space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001162>
  skos:prefLabel "فضایl_p"@fa, "l_p space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math000278>
  skos:prefLabel "نقطه قله‌ای"@fa, "peak point"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0004757>
  skos:prefLabel "قاب باناخ"@fa, "banach frame"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/mathpro983> skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .
<http://www.irandoc.acir/onto/irandoc/mathpro3296> skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .
<http://www.irandoc.acir/onto/irandoc/math0001113>
  skos:prefLabel "قضیه باناخ-اشتاین‌هاوس"@fa, "banach-steinhaus theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math0001095>
  skos:prefLabel "فضای باناخ هموار"@fa, "smooth banach space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

<http://www.irandoc.acir/onto/irandoc/math000292>
  skos:prefLabel "فضای برگمن"@fa, "bergman space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001179> .

