InverseTransformedRegion[reg,f,n]
represents the inverse transformed region
, where reg is a region and f is a function.
InverseTransformedRegion
InverseTransformedRegion[reg,f,n]
represents the inverse transformed region
, where reg is a region and f is a function.
Details and Options
- InverseTransformedRegion is also known as the inverse image or preimage of a region.
- InverseTransformedRegion[reg,f] is equivalent to InverseTransformedRegion[reg,f,RegionEmbeddingDimension[reg]].
Examples
open all close allBasic Examples (2)
The inverse transform of a rotated rectangle:
ℛ = InverseTransformedRegion[Rectangle[], RotationTransform[π / 4]]Region[ℛ]Area[ℛ]The inverse image of a disk through
:
ℛ = InverseTransformedRegion[Disk[], {Indexed[#, 1] Indexed[#, 2], Indexed[#, 1] + Indexed[#, 2]}&, 2];Region[ℛ]Scope (24)
Special Regions (9)
Some inverse transformed regions are computed explicitly:
ℛ = InverseTransformedRegion[Disk[], ShearingTransform[Pi / 4, {1, 0}, {0, 1}]]Region[ℛ]The inverse image of the unit cuboid through a linear-fractional transformation:
Subscript[ℛ, 1] = Cuboid[];
𝒯 = TransformationFunction[{{7, 5, -2, 3}, {3, -8, 9, 4}, {-8, 3, 1, -6}, {1, 0, 0, 5}}];
ℛ = InverseTransformedRegion[Subscript[ℛ, 1], 𝒯]Region[ℛ]The inverse transform of a translated unit Disk:
ℛ = InverseTransformedRegion[Disk[], TranslationTransform[{2, 3}]]Region[ℛ]The inverse transform of a sheared unit Rectangle:
ℛ = TransformedRegion[Rectangle[], ShearingTransform[30Degree, {1, 0}, {0, 1}]]Region[ℛ]The inverse transform of a rotated Triangle:
ℛ = TransformedRegion[Triangle[], RotationTransform[π / 3]]Region[ℛ]The inverse transform of a scaled Circle:
ℛ = InverseTransformedRegion[Circle[], ScalingTransform[2., {1, 1}]];Region[ℛ]The inverse image of the unit cube through a rotation transform:
ℛ = InverseTransformedRegion[Cuboid[{0, 0, 0}, {1, 1, 1}], RotationTransform[Pi / 3, {1, 1, 1}], 3]Region[ℛ]An inverse transform of a rectangle by a linear transformation
:
ℛ = InverseTransformedRegion[Rectangle[], Function[p, {p[[1]] + p[[2]], p[[1]] - p[[2]]}]]Region[ℛ]Map points from a Triangle embedded in 2D into 3D by a nonlinear transformation
:
Subscript[ℛ, 1] = Triangle[{{0, 0}, {0, 1}, {1, 0}}];ℛ = InverseTransformedRegion[Subscript[ℛ, 1], {Indexed[#, 1] ^ 2 + Indexed[#, 2] ^ 2, Indexed[#, 3]}&, 3];Region[ℛ]Formula Regions (4)
The inverse transform of a sheared ParametricRegion:
pr = ParametricRegion[{Sin[θ], Sin[2θ]}, {{θ, 0, 2π}}];ℛ = InverseTransformedRegion[pr, ShearingTransform[30Degree, {1, 0}, {0, 1}]]Region[ℛ]The inverse transform of a rotated ParametricRegion:
pr = ParametricRegion[{{s, (1 + t) s ^ 2 - t}, -1 ≤ s ≤ 1 && 0 ≤ t ≤ 1}, {s, t}];ℛ = InverseTransformedRegion[pr, RotationTransform[Pi / 4, {1, 1}]]Region[ℛ]The inverse transform of a sheared ImplicitRegion:
ir = ImplicitRegion[x ^ 2 - y ^ 2 ≤ 1, {x, y}];ℛ = InverseTransformedRegion[ir, ShearingTransform[30Degree, {1, 0}, {0, 1}]]Region[ℛ]The inverse transform of a scaled ImplicitRegion:
ir = ImplicitRegion[x^2 + y^2 + z^2 < 1 || (x + 1)^2 + y^2 + z^2 < 1, {x, y, z}];ℛ = InverseTransformedRegion[ir, ScalingTransform[{1, 1 / 2, 1 / 2}]]Region[ℛ]Mesh Regions (2)
An inverse transform of BoundaryMeshRegion objects is a BoundaryMeshRegion:
InverseTransformedRegion[[image], TranslationTransform[{1}]]BoundedRegionQ[%]InverseTransformedRegion[[image], ShearingTransform[30Degree, {1, 0}, {0, 1}]]BoundedRegionQ[%]InverseTransformedRegion[[image], RotationTransform[π / 3, {1, 0, 1}]]BoundedRegionQ[%]An inverse transform of MeshRegion objects is a MeshRegion:
InverseTransformedRegion[[image], TranslationTransform[{1}]]MeshRegionQ[%]InverseTransformedRegion[[image], ShearingTransform[30Degree, {1, 0}, {0, 1}]]MeshRegionQ[%]InverseTransformedRegion[[image], RotationTransform[π / 3, {1, 0, 1}]]MeshRegionQ[%]Derived Regions (5)
The inverse transform of a reflected TransformedRegion:
tr = TransformedRegion[Cuboid[], ShearingTransform[30Degree, {1, 0, 0}, {0, 1, 1}]];ℛ = InverseTransformedRegion[tr, ReflectionTransform[{0, 1, 1}]]Region[ℛ]The inverse transform of a rotated RegionDifference:
rd = RegionDifference[Rectangle[{0, 0}], Disk[{1, 0}, 1 / 2]];ℛ = InverseTransformedRegion[rd, RotationTransform[π / 4]];Region[ℛ]The inverse transform of a scaled RegionBoundary:
rb = RegionBoundary[Polygon[{{0, 0}, {3, -1}, {2, 0}, {3, 1}}]];ℛ = InverseTransformedRegion[rb, ScalingTransform[2, {1, 1}]];Region[ℛ]The inverse transform of a reflected RegionProduct:
rp = RegionProduct[Disk[{0, 0}, 1], Line[{{0}, {1}}]];ℛ = InverseTransformedRegion[rp, ReflectionTransform[{1, 0, 1}]];Region[ℛ]The inverse transform of a RegionUnion by a nonlinear transformation
:
ru = RegionUnion[Disk[{0, 0}, 2], Disk[{3, 0}, 2]];r1 = InverseTransformedRegion[ru, Function[p, {p[[1]] p[[2]], p[[1]] + p[[2]]}]];Region[r1]Geographic Regions (2)
InverseTransformedRegion works on polygons of geographic entities:
ℛ = Polygon[["france"]];InverseTransformedRegion[ℛ, RotationTransform[Pi / 3, {1, 1, 0}]]Region[ℛ]Polygons with GeoPosition:
ℛ = Polygon[GeoPosition[{{{40.083441, -88.235716}, {40.083607, -88.257488}, {40.082603, -88.257149},
{40.076136999999996, -88.25740499999999}, {40.076178, -88.270888}, {40.076516, -88.271558},
{40.083686, -88.271512}, {40.083659999999995, -88.267046}, ... 33323}, {40.098112, -88.228687},
{40.095216, -88.228627}, {40.095179, -88.238547}, {40.094480999999995, -88.238546},
{40.094508999999995, -88.23267}, {40.094106, -88.232556}, {40.090666999999996, -88.232477},
{40.090741, -88.235745}}}]];Region[ℛ]InverseTransformedRegion[ℛ, RotationTransform[Pi / 3, {1, 1, 0}]]Polygons with GeoGridPosition:
ℛ = Polygon[GeoGridPosition[{{{-0.9950503945490105, 1.2366760550756015},
{-0.9952074890903578, 1.2369207053693891}, {-0.9952196732768064, 1.2369073327446167},
{-0.9953160063787643, 1.236848436956935}, {-0.9954141759436825, 1.2369993898475449},
{-0. ... 197645333103}, {-0.9949098578570917, 1.2368130881428654},
{-0.9948663952535768, 1.2367477711687371}, {-0.9948714472169538, 1.2367426500757825},
{-0.9949211061652593, 1.2367089232486177}, {-0.9949439717990124, 1.236746107097628}}}, "Bonne"]];Region[ℛ]𝒯 = InverseTransformedRegion[ℛ, RotationTransform[Pi / 3]]Region[𝒯]CSG Regions (1)
The inverse transform of linear CSGRegion:
InverseTransformedRegion[CSGRegion["Difference", {Rectangle[{-1, -1}, {1, 1}], Rectangle[{-1 / 2, -1 / 2}]}], ScalingTransform[{1, 3}]]InverseTransformedRegion[CSGRegion["Difference", {Disk[], Disk[{0, 0}, 1 / 2]}], ScalingTransform[{1, 3}]]Subdivision Regions (1)
The inverse transform of a SubdivisionRegion in 2D:
InverseTransformedRegion[SubdivisionRegion[Rectangle[]], ScalingTransform[{1, 3}]]InverseTransformedRegion[SubdivisionRegion[Cube[]], ScalingTransform[{1, 1, 3}]]Related Guides
History
Text
Wolfram Research (2014), InverseTransformedRegion, Wolfram Language function, https://reference.wolfram.com/language/ref/InverseTransformedRegion.html.
CMS
Wolfram Language. 2014. "InverseTransformedRegion." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/InverseTransformedRegion.html.
APA
Wolfram Language. (2014). InverseTransformedRegion. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/InverseTransformedRegion.html
BibTeX
@misc{reference.wolfram_2026_inversetransformedregion, author="Wolfram Research", title="{InverseTransformedRegion}", year="2014", howpublished="\url{https://reference.wolfram.com/language/ref/InverseTransformedRegion.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_inversetransformedregion, organization={Wolfram Research}, title={InverseTransformedRegion}, year={2014}, url={https://reference.wolfram.com/language/ref/InverseTransformedRegion.html}, note=[Accessed: 13-June-2026]}