Opened 6 months ago

Last modified 3 months ago

#31745 new enhancement

Images of differentiable maps

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.5
Component: manifolds Keywords:
Cc: egourgoulhon, gh-mjungmath, tscrim Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Images of differentiable maps from a domain to a higher-dimensional codomain cannot have a nonempty subset that is open in the codomain.

We define a subclass DiffMapImage of ContinuousMapImage (#31653) that declares open subsets as empty (#31732).

Change History (2)

comment:2 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.