RegionWithin[reg1,reg2]
reg2が reg1に含まれるときにTrueを返す.
RegionWithin
RegionWithin[reg1,reg2]
reg2が reg1に含まれるときにTrueを返す.
詳細とオプション
- reg2に属するすべての点がreg1にも属するとき,領域 reg2は reg1に含まれる.
- すべての regiがパラメータを含まない領域である,つまり,ConstantRegionQ[regi]がTrueであるとき,この領域は点集合で,一般にTrueまたはFalseが返される.
- regiの中にパラメータに依存するものがある,つまり,ConstantRegionQ[regi]がFalseのとき,regiは領域の族を表し,RegionWithinは reg2が reg1に含まれるためのパラメータについての条件を計算しようとする.
- 次は使用可能なオプションである.
-
Assumptions $Assumptions パラメータについての仮定 GenerateConditions False パラメータについての条件を生成するかどうか
例題
すべて開く すべて閉じる例 (2)
Subscript[ℛ, 1] = Disk[];
Subscript[ℛ, 2] = Rectangle[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Graphics[{Opacity[0.5], {Red, Subscript[ℛ, 2]}, {Green, Subscript[ℛ, 1]}}]Subscript[ℛ, 1] = ImplicitRegion[Subsuperscript[r, 1, 2] ≤ x^2 + y^2 ≤ Subsuperscript[r, 2, 2], {x, y}];
Subscript[ℛ, 2] = Annulus[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]スコープ (15)
基本的な用法 (3)
Subscript[ℛ, 1] = Disk[];
Subscript[ℛ, 2] = Triangle[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Graphics[{Opacity[0.5], {Red, Subscript[ℛ, 2]}, {Green, Subscript[ℛ, 1]}}]Subscript[ℛ, 1] = Parallelogram[];
Subscript[ℛ, 2] = Circle[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Graphics[{Thick, Opacity[0.5], {Red, Subscript[ℛ, 2]}, {Green, Subscript[ℛ, 1]}}]Subscript[ℛ, 1] = Disk[{0, 0}, r];
Subscript[ℛ, 2] = Parallelogram[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]基本的な領域 (4)
RegionWithin[Interval[{-3, 1}], Line[{{0}, {1}}]]RegionWithin[Interval[{2, 2}], Point[{2}]]Ball:
RegionWithin[Interval[{-2, 0}], Ball[1]]RegionWithin[InfiniteLine[{-3}, {1}], InfiniteLine[{0}, {1}]]Pointを含む
内の領域:
Subscript[ℛ, 1] = Point[Tuples[Range[3], 2]];
Subscript[ℛ, 2] = Point[Tuples[Range[2], 2]];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Line:
Subscript[ℛ, 1] = Line[{{7, -1}, {6, -1}, {5, -1}, {3, 3}, {1, 1}, {0, 0}}];
Subscript[ℛ, 2] = Line[{{0, 0}, {3, 3}, {5, -1}}];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Graphics[{Thick, Opacity[0.5], {Red, Subscript[ℛ, 2]}, {Green, Subscript[ℛ, 1]}}]Subscript[ℛ, 1] = Triangle[{{-1, -1}, {1, -1}, {1, 1}}];
Subscript[ℛ, 2] = Polygon[{{0, 0}, {1, 0}, {1, 1}, {0, 1}}];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Graphics[{Opacity[0.5], {Red, Subscript[ℛ, 2]}, {Green, Subscript[ℛ, 1]}}]Subscript[ℛ, 1] = Ellipsoid[{0, 0}, {3, 2}];
Subscript[ℛ, 2] = Disk[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]RegionWithin[RegularPolygon[r, 6], Rectangle[]]Pointを含む
内の領域:
Subscript[ℛ, 1] = Point[Tuples[Range[5], 3]];
Subscript[ℛ, 2] = Point[Tuples[Range[3], 3]];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Line:
Subscript[ℛ, 1] = Line[{{7, -1, 1}, {5, -1, 0}, {0, 0, 0}}];
Subscript[ℛ, 2] = Line[{{0, 0, 0}, {3, 3, 3}, {5, -1, 0}, {7, -1, 1}}];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = Triangle[{{2, 0, 0}, {0, 0, 2}, {0, 2, 2}}];
Subscript[ℛ, 2] = Polygon[{{1, 0, 1}, {0, 1, 2}, {1, 1, 1}, {2, 0, 0}}];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Graphics3D[{Opacity[0.5], {Red, Subscript[ℛ, 2]}, {Green, Subscript[ℛ, 1]}}, Boxed -> False]Subscript[ℛ, 1] = Hexahedron[{{0, 0, 0}, {1, 0, 0}, {2, 1, 0}, {1, 1, 0}, {0, 0, 1}, {1, 0, 1}, {2, 1, 1}, {1, 1, 1}}];
Subscript[ℛ, 2] = Cuboid[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = Ellipsoid[{0, 0, 0}, {3, 2, 1}];
Subscript[ℛ, 2] = Ball[3];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = Simplex[{{1, 0, 1}, {1, 0, 0}, {0, 0, 1}, {1, 1, 1}}];
Subscript[ℛ, 2] = Tetrahedron[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]
内のCuboidとParallelepipedを含む
内の領域:
Subscript[ℛ, 1] = Parallelepiped[{-1, -1, -1, -1}, 2IdentityMatrix[4]];
Subscript[ℛ, 2] = Cuboid[{0, 0, 0, 0}, {1, 1, 1, 1}];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = Ball[10];
Subscript[ℛ, 2] = Ellipsoid[Table[0, 10], Table[i, {i, 10}]];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]数式定義領域 (4)
Subscript[ℛ, 1] = ImplicitRegion[x^2 + y^2 ≤ 1, {x, y}];
Subscript[ℛ, 2] = ImplicitRegion[1 / 2 ≤ x^2 + y^2 ≤ 1, {x, y}];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = ParametricRegion[{r Cos[θ], r Sin[θ]}, {{r, 0, 2}, {θ, 0, 2π}}];
Subscript[ℛ, 2] = ParametricRegion[{x y, x - y}, {{x, 0, 1}, {y, 0, 1}}];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = ParametricRegion[{ρSqrt[4 - u^2]Cos[θ], ρSqrt[4 - u^2]Sin[θ], ρ u}, {{ρ, 0, 1}, {θ, 0, 2π}, {u, -2, 2}}];
Subscript[ℛ, 2] = ImplicitRegion[x^4 + y^4 + z^4 ≤ 1, {x, y, z}];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]RegionWithin[ImplicitRegion[Subsuperscript[r, 1, 2] ≤ x^2 + y^2 ≤ Subsuperscript[r, 2, 2], {x, y}], Annulus[]]メッシュ領域 (3)
内のMeshRegionを比較する:
Subscript[ℛ, 1] = MeshRegion[{{-1}, {2}}, Line[{1, 2}]];
Subscript[ℛ, 2] = MeshRegion[{{0}, {1}}, Line[{1, 2}]];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = DiscretizeGraphics[Disk[{0.5, 0}]];
Subscript[ℛ, 2] = MeshRegion[{{0, 0}, {1, 0}, {0.25, 0.5}, {0, 1}}, Polygon[{1, 2, 3, 4}]];Show[Subscript[ℛ, 1], Subscript[ℛ, 2]]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = DiscretizeGraphics[Ball[]];
Subscript[ℛ, 2] = DiscretizeGraphics[Cuboid[]];Show[Subscript[ℛ, 2], Subscript[ℛ, 1]]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]
内のBoundaryMeshRegionを比較する:
Subscript[ℛ, 1] = BoundaryMeshRegion[{{-1}, {2}}, Point[{1, 2}]];
Subscript[ℛ, 2] = BoundaryMeshRegion[{{0}, {1}}, Point[{1, 2}]];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = BoundaryDiscretizeGraphics[Disk[{0.5, 0}]];
Subscript[ℛ, 2] = BoundaryMeshRegion[{{0, 0}, {1, 0}, {0.25, 0.5}, {0, 1}}, Line[{1, 2, 3, 4, 1}]];Show[Subscript[ℛ, 1], Subscript[ℛ, 2]]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = BoundaryDiscretizeGraphics[Ball[]];
Subscript[ℛ, 2] = BoundaryDiscretizeGraphics[Cuboid[]];Show[Subscript[ℛ, 2], Subscript[ℛ, 1]]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]
内のMeshRegionとBoundaryMeshRegionを比較する:
Subscript[ℛ, 1] = ConvexHullMesh[RandomReal[{-2, 2}, {25, 2}]];
Subscript[ℛ, 2] = DelaunayMesh[RandomReal[{-1, 1}, {25, 2}]];Show[Subscript[ℛ, 1], Subscript[ℛ, 2]]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = ConvexHullMesh[RandomReal[{0, 1}, {25, 3}]];
Subscript[ℛ, 2] = DelaunayMesh[RandomReal[{-1, 1}, {25, 3}]];Show[Subscript[ℛ, 2], Subscript[ℛ, 1]]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]派生領域 (1)
BooleanRegionを比較する:
Subscript[ℛ, 1] = BooleanRegion[Xnor, {Disk[], Disk[{1, 0}]}];
Subscript[ℛ, 2] = Disk[{1 / 2, 0}, 1 / 4];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]オプション (2)
Assumptions (1)
Subscript[ℛ, 1] = ImplicitRegion[x^2 + y^2 ≤ r^2, {x, y}];
Subscript[ℛ, 2] = Circle[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2], Assumptions -> r > 0]GenerateConditions (1)
Subscript[ℛ, 1] = ImplicitRegion[Subscript[r, 1] ≤ x^2 + y^2 ≤ Subscript[r, 2], {x, y}];
Subscript[ℛ, 2] = Disk[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2], GenerateConditions -> True]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2], Assumptions -> Subscript[r, 1]∈Reals]アプリケーション (7)
ℛ = ConvexHullMesh[RandomReal[1, {25, 2}]];convexcombos = Line[Subsets[MeshCoordinates[ℛ], {2}]];RegionWithin[ℛ, convexcombos]Show[ℛ, Epilog -> convexcombos]ℛ = Triangle[{{0, 0}, {4, 0}, {3, 1}}];disk = Disk[{x, y}, r];Maximize[{r, RegionWithin[ℛ, disk]}, {x, y, r}]//Last//SimplifyN[%]Graphics[{ℛ, Red, disk /. %}]ellipse = Disk[{x, y}, {a, b}];NMaximize[{Area[ellipse], RegionWithin[ℛ, ellipse]}, {{x, 0, 4}, y, a, b}]Graphics[{ℛ, Red, ellipse /. Last[%]}]ℛ = Triangle[{{0, 0}, {4, 0}, {3, 1}}];disk = Disk[{x, y}, r];Minimize[{r, RegionWithin[disk, ℛ]}, {x, y, r}]//LastGraphics[{disk /. %, Red, ℛ}]ellipse = Disk[{x, y}, {a, b}];Minimize[{Area[ellipse], RegionWithin[ellipse, ℛ]}, {x, y, a, b}]//FullSimplifyN[%]Graphics[{ellipse /. Last[%], Red, ℛ}]c = Entity["Ocean", "CaribbeanSea"];
sea = c["Polygon"] /. GeoPosition -> Identity;all = EntityValue["Country", "Polygon", "EntityAssociation"] /. GeoPosition -> Identity;Keys[Select[all, RegionWithin[sea, #]&]]//SortGeoEntities[c, "Country", "FullyContained" -> True]//SortGeoGraphics[{EdgeForm[Black], Polygon[c], GeoStyling[Red], Polygon[%]}]Subscript[ℛ, 1] = Annulus[{0, 0}, {1, 3}];
Subscript[ℛ, 2] = Rectangle[{x, y}];cond = RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]];RegionPlot[cond, {x, -3, 3}, {y, -3, 3}, Epilog -> {Red, Opacity[0.1], Subscript[ℛ, 1]}]ℛ = Annulus[];walkPoint[pt_, r_, reg_] :=
Block[{npt = RandomPoint[Sphere[pt, r]]},
While[!RegionWithin[reg, Line[{pt, npt}]],
npt = RandomPoint[Sphere[pt, r]]
];
npt
]start = {0.5, 0.5};path = NestList[walkPoint[#, 0.1, ℛ]&, start, 500];Graphics[{{Green, ℛ}, {Line[path]}, {Red, PointSize[Large], Point[start]}}]RegionWithinを部分的な順序付けに使って同心円板を可視化する:
regs = Disk[{0, 0}, #]& /@ RandomReal[{1 / 4, 1}, 6];colors = RandomColor[Hue[_], 6];Graphics[{EdgeForm[Black], Transpose[{colors, regs}]}]order = Ordering[regs, All, RegionWithin];Graphics[{EdgeForm[Black], Transpose[{colors, regs}][[order]]}]特性と関係 (5)
RegionMemberを使った点の帰属判定:
ℛ = Parallelogram[];RegionMember[ℛ, {1, 1 / 2}]RegionWithinを使った領域の帰属判定:
RegionWithin[ℛ, Point[{1, 1 / 2}]]RegionWithin[ℛ, Disk[{1, 1 / 2}, 1 / 3]]ℛ2が ℛ1内にあるとき,ℛ2内の点はすべて ℛ1に帰属する:
Subscript[ℛ, 1] = Rectangle[{-1, -1}, {1, 1}];
Subscript[ℛ, 2] = Disk[];Resolve[ForAll[{x, y}, {x, y}∈Subscript[ℛ, 2], {x, y}∈Subscript[ℛ, 1]]]RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]Subscript[ℛ, 1] = Parallelogram[{0, 0}, {{1, 0}, {0, 1}}];
Subscript[ℛ, 2] = Rectangle[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]] && RegionWithin[Subscript[ℛ, 2], Subscript[ℛ, 1]]RegionEqual[Subscript[ℛ, 1], Subscript[ℛ, 2]]非空領域について,RegionDisjointはRegionWithinがTrueを返す場合はFalseを返す:
Subscript[ℛ, 1] = Disk[];
Subscript[ℛ, 2] = Triangle[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]RegionDisjoint[Subscript[ℛ, 1], Subscript[ℛ, 2]]FindInstanceを使って部分集合の条件に反する点を求める:
Subscript[ℛ, 1] = Parallelogram[];
Subscript[ℛ, 2] = Rectangle[];RegionWithin[Subscript[ℛ, 1], Subscript[ℛ, 2]]pts = {x, y} /. FindInstance[{x, y}∈Subscript[ℛ, 1]∧{x, y}∉Subscript[ℛ, 2], {x, y}, 100];Graphics[{Point[pts], Opacity[0.5], {Red, Subscript[ℛ, 2]}, {Green, Subscript[ℛ, 1]}}]RandomPointを使って部分集合の条件に反する点の一様サンプリングを求める:
pts = RandomPoint[BooleanRegion[#1∧!#2&, {Subscript[ℛ, 1], Subscript[ℛ, 2]}], 100];Graphics[{Point[pts], Opacity[0.5], {Red, Subscript[ℛ, 2]}, {Green, Subscript[ℛ, 1]}}]Reduceを使って部分集合の条件が満たされない箇所を求める:
Reduce[{x, y}∈Subscript[ℛ, 2]∧{x, y}∉Subscript[ℛ, 1], {x, y}]RegionPlot[%, {x, -1, 3}, {y, -3 / 2, 5 / 2}, PlotPoints -> 60]テキスト
Wolfram Research (2017), RegionWithin, Wolfram言語関数, https://reference.wolfram.com/language/ref/RegionWithin.html.
CMS
Wolfram Language. 2017. "RegionWithin." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/RegionWithin.html.
APA
Wolfram Language. (2017). RegionWithin. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/RegionWithin.html
BibTeX
@misc{reference.wolfram_2026_regionwithin, author="Wolfram Research", title="{RegionWithin}", year="2017", howpublished="\url{https://reference.wolfram.com/language/ref/RegionWithin.html}", note=[Accessed: 03-November-2026]}
BibLaTeX
@online{reference.wolfram_2026_regionwithin, organization={Wolfram Research}, title={RegionWithin}, year={2017}, url={https://reference.wolfram.com/language/ref/RegionWithin.html}, note=[Accessed: 03-November-2026]}